Class Triple

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

Subclass-Of@Frame-Ontology: List

Instance-Of@Frame-Ontology: Class@Frame-Ontology, Relation@Ol-User%Kif-Relations, Set@Ol-User%Kif-Sets

Arity@Frame-Ontology: 1

Documentation@Ol%Frame-Ontology: A list of length 3.

---

Slots:

Equivalence Axioms for Triple:

(<=> (Triple ?List) (And (List ?List) (= (Length ?List) 3)))

Implication Axioms mentioning Triple:

(=> (Facet@Frame-Ontology ?Relation)
    (Forall (?Tuple)
            (=> (Member@Ol-User%Kif-Sets ?Tuple ?Relation)
                (Triple ?Tuple))))

(=> (Binary-Function@Ol-User%Kif-Relations ?F)
    (Forall (?List)
            (=> (Member@Ol-User%Kif-Sets ?List ?F) (Triple ?List))))

Equivalence Axioms mentioning Triple:

(<=> (Facet@Frame-Ontology ?Relation)
     (And (Relation@Ol-User%Kif-Relations ?Relation)
          (Not (Empty@Ol-User%Kif-Sets ?Relation))
          (Forall (?Tuple)
                  (=> (Member@Ol-User%Kif-Sets ?Tuple ?Relation)
                      (Triple ?Tuple)))))

(<=> (Binary-Function@Ol-User%Kif-Relations ?F)
     (And (Function@Ol-User%Kif-Relations ?F)
          (Not (Empty@Ol-User%Kif-Sets ?F))
          (Forall (?List)
                  (=> (Member@Ol-User%Kif-Sets ?List ?F)
                      (Triple ?List)))))