Class
Many-To-One-Relation
Defined in ontology:
Frame-ontology
Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/ontolingua/../../all-ontologies/ontolingua/frame-ontology.lisp
Arity
:
1
Instance-Of
:
Class
,
Relation
,
Set
Subclass-Of
:
Binary-Relation
,
Function
,
Relation
,
Set
...
Slots:
Arity
:
2
Equivalence Axioms for Many-To-One-Relation:
(<=> (
Many-To-One-Relation
?R) (And (
Binary-Relation
?R) (
Function
?R)))