What are definitional assertions?

Definitional assertions constrain the use and meaning of some sonstant. They are those GAFs (Ground Atomic Formulas) which have a definitional predicate in their arg 0 slot.

Definitional predicates are those predicates which are used to constrain other arguments. So, for example, the following are definitional predicates:

- #$isa ``
- #$genls
- #$disjointWith

These predicates can be used to make the following definitional assertions about #$Animal:

- (#$isa #$Animal #$OrganismClassificationType)
- (#$genls #$Animal #$Heterotroph)
- (#$disjointWith #$Animal #$SomethingToWear)