Relation HAS-INSTANCE

• Defined in theory: Frame-ontology
• Source code: frame-ontology.lisp

Slots on this relation:

Documentation:

The inverse relation for INSTANCE-OF.

Instance-Of: Relation

Arity: 2

Inverse: Instance-of

Other Related Axioms:

(<=> (Has-Instance $Arg1 $Arg2) (Instance-Of $Arg2 $Arg1))