Relation INHERITED-FACET-VALUE

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

Slots on this relation:

Instance-Of: Relation

Arity: 4

Equivalence Axioms:

(<=> (Inherited-Facet-Value ?Facet ?Class ?Binary-Relation ?Value)
     (And (Class ?Class)
          (Binary-Relation ?Binary-Relation)
          (Forall (?Instance ?Value)
                  (=> (Instance-Of ?Instance ?Class)
                      (Holds ?Facet
                             ?Instance
                             ?Binary-Relation
                             ?Value)))))

Axioms:

(Nth-Domain Inherited-Facet-Value 3 Binary-Relation)

(Nth-Domain Inherited-Facet-Value 2 Class)

Other Related Axioms:

(<=> (Inherited-Facet-Value ?Facet ?Class ?Binary-Relation ?Value)
     (And (Class ?Class)
          (Binary-Relation ?Binary-Relation)
          (Forall (?Instance ?Value)
                  (=> (Instance-Of ?Instance ?Class)
                      (Holds ?Facet
                             ?Instance
                             ?Binary-Relation
                             ?Value)))))

(Inherited-Facet-Value Slot-Cardinality
                       One-To-One-Relation
                       Inverse
                       1)

(Inherited-Facet-Value Slot-Value-Type
                       One-To-One-Relation
                       Inverse
                       Function)

(Inherited-Facet-Value Slot-Cardinality
                       One-To-Many-Relation
                       Inverse
                       1)

(Inherited-Facet-Value Slot-Value-Type
                       One-To-Many-Relation
                       Inverse
                       Function)