Theory SLOT-CONSTRAINT-SUGAR

• Last modified: Tuesday, 5 July 1994
• Source code: slot-constraint-sugar.lisp
• List of other known theories

Theory documentation:

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.

Cross Reference Report:

Theories included by Slot-Constraint-Sugar:

  Frame-Ontology

Theories that include Slot-Constraint-Sugar:

  Bibliographic-Data

No classes defined.

17 relations defined:

  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

1 function defined:

  Compose*

No instances defined.

The following constants were used from included theories:

• =< defined as a relation in theory Kif-Numbers
• >= defined as a relation in theory Kif-Numbers
• Alias defined as a relation in theory Frame-Ontology
• Arity defined as a function in theory Frame-Ontology
• Binary-Relation defined as a class in theory Kif-Relations
• Class defined as a class in theory Frame-Ontology
• Compose defined as a function in theory Frame-Ontology
• Documentation defined as a relation in theory Frame-Ontology
• Exact-Domain defined as a function in theory Frame-Ontology
• Function defined as a class in theory Kif-Relations
• Has-Value defined as a relation in theory Frame-Ontology
• Holds defined as a relation in theory Kif-Relations
• Instance-Of defined as a relation in theory Frame-Ontology
• Member defined as a relation in theory Kif-Sets
• Natural defined as a class in theory Kif-Numbers
• Nth-Domain defined as a relation in theory Frame-Ontology
• Range defined as a relation in theory Frame-Ontology
• Relation defined as a class in theory Kif-Relations
• Same-Slot-Values defined as a relation in theory Frame-Ontology
• Same-Values defined as a relation in theory Frame-Ontology
• Set defined as a class in theory Kif-Sets
• Single-Valued-Slot defined as a relation in theory Frame-Ontology
• Subrelation-Of defined as a relation in theory Frame-Ontology
• Undefined defined as a class in theory Kif-Extensions
• Value-Cardinality defined as a function in theory Frame-Ontology
• Value-Type defined as a relation in theory Frame-Ontology

All constants that were mentioned were defined.