- Defined in ontology: Frame-ontology
- Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/ontolingua/../../all-ontologies/ontolingua/frame-ontology.lisp
- Also defined in: Interface-ontology
- Arity: 2
- Definition-Sort-Index@Interface-Ontology: 300
- Documentation:
The ?child is a subdefinition-of the ?parent. Many languages allow
subdefinitions within the lexical scope of a parent definition. For
example: Lisp (labels, flet), C (type definitions), Pascal, IDL.
- Instance-Of:
- Binary-Relation, Binary-Relation, Function, Function, Function ...
- Inverse: Has-Subdefinition