Versions Compared

Old Version 2

changes.mady.by.user user-7bda2

Saved on

compared with

New Version Current

changes.mady.by.user user-7bda2

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Concept B is equivalent to the intersection of (intersection of Necessary & Sufficient conditions of A) and (the intersection of Necessary & Sufficient conditions of B).

Info
The modeling tool supports importing and exporting Aristotelian definitions.

An Aristotelian definition can have only a single sufficient property constraint or generalization attached to it.

...