Standard Names
Class names
:THING
:CLASS
:INDIVIDUAL
:NUMBER
:INTEGER
:STRING
:SYMBOL
:LIST
Facet names
:VALUE-TYPE :MINIMUM-CARDINALITY :NUMERIC-MINIMUM
:INVERSE :SAME-VALUES :NUMERIC-MAXIMUM
:CARDINALITY :NOT-SAME-VALUES :SOME-VALUES
:MAXIMUM-CARDINALITY :SUBSET-OF-VALUES