Table of Contents

Variable *Supported-Second-Order-Relations*

List of currently supported second-order relations. Supported means that these are either generated by or recognized by ontolingua translators.

The current value of *SUPPORTED-SECOND-ORDER-RELATIONS* is (SUBCLASS-OF INSTANCE-OF SUBRELATION-OF INVERSE SINGLE-VALUED DOMAIN NTH-DOMAIN RANGE SUBCLASS-PARTITION EXHAUSTIVE-SUBCLASS-PARTITION CLASS RELATION FUNCTION ARITY DOCUMENTATION INHERITED-SLOT-VALUE SLOT-CARDINALITY MAXIMUM-SLOT-CARDINALITY MINIMUM-SLOT-CARDINALITY SLOT-VALUE-TYPE DOMAIN RANGE)