Defines second-order relations for describing slot constraints in a KL-ONE style. Ontolingua recognizes these things and transforms them into frame ontology terminology. This ontology was formerly called the kl-one-ontology.
Can-Be-One-Of Can-Have-One Cannot-Have Has-At-Least Has-At-Most Has-One Has-One-Of-Type Has-Single-Slot-Value-Of-Type Has-Slot-Value Has-Slot-Value-Of-Type Has-Some Has-Value-Of-Type Has-Values Have-Same-Slot-Values Have-Same-Values Must-Be-One-Of Value-Class
The following constants were used from included theories:
All constants that were mentioned were defined.