Relation Inherited-Facet-Value

• Defined in ontology: Frame-ontology
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/ontolingua/../../all-ontologies/ontolingua/frame-ontology.lisp

Arity: 4

Documentation: NIL <H3>Notes:</H3> <UL> <LI>Added by JPR. </UL>

Instance-Of: Relation, Set

Implication Axioms for Inherited-Facet-Value:

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

Equivalence Axioms for Inherited-Facet-Value:

(<=> (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 for Inherited-Facet-Value:

(Binary-Relation ?Binary-Relation)

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

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

Frame References to Inherited-Facet-Value:

In class Calendar-Year@Simple-Time:

Slots:

Year-Of@Simple-Time:

Slot-Cardinality: 1

In class Agent@Agents:

Slots:

Name:

Slot-Cardinality: 1

In class Publisher@Agents:

Slots:

Name:

Slot-Cardinality: 1

In class One-To-Many-Relation:

Slots:

Inverse:

Slot-Cardinality: 1

Slot-Value-Type: Function

In class Funterm:

Slots:

First: