Class List

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

Superclass-Of@Frame-Ontology:

Double, Single, Triple, String@Ol-User%Kif-Extensions, Vector@Ol-User%Kif-Extensions ...

Has-Instance@Frame-Ontology: Nil

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

Domain-Of@Frame-Ontology:

First, Last, Length, Reverse, Sublist ...

Range-Of@Frame-Ontology:

Item, Reverse, Sublist, Composition-Of@Frame-Ontology

Arity@Frame-Ontology: 1

Documentation@Ol%Frame-Ontology: A list is a sequence --- an ordered bag --- of elements. It is KIF primitive.

---

Slots:

Last:

Reverse:

Implication Axioms mentioning List:

(=> (Null ?List) (List ?List))

(=> (Single ?List) (List ?List))

(=> (Double ?List) (List ?List))

(=> (Triple ?List) (List ?List))

(=> (Symbol@Ol-User%Kif-Extensions ?X) (Not (List ?X)))

Equivalence Axioms mentioning List:

(<=> (Null ?List) (And (List ?List) (= (Length ?List) 0)))

(<=> (Single ?List) (And (List ?List) (= (Length ?List) 1)))

(<=> (Double ?List) (And (List ?List) (= (Length ?List) 2)))

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

(<=> (Composition-Of@Frame-Ontology ?Binary-Relation
                     ?List-Of-Relations)
     (And (Binary-Relation@Ol-User%Kif-Relations ?Binary-Relation)
          (List ?List-Of-Relations)
          (Not (Null ?List-Of-Relations))
          (=> (Item ?R ?List-Of-Relations)
              (Binary-Relation@Ol-User%Kif-Relations ?R))
          (Or (And (Single ?List-Of-Relations)
                   (= ?Binary-Relation (First ?List-Of-Relations)))
              (And (Double ?List-Of-Relations)
                   (= ?Binary-Relation
                      (Composition@Ol-User%Kif-Relations 
                          (First (Rest ?List-Of-Relations))
                          (First ?List-Of-Relations))))
              (Exists 
                  (?Left-Sub-Relation)
                  (And (= ?Binary-Relation
                          (Composition@Ol-User%Kif-Relations 
                              (Last ?List-Of-Relations)
                              ?Left-Sub-Relation))
                       (Composition-Of@Frame-Ontology 
                           ?Left-Sub-Relation
                           (Butlast ?List-Of-Relations)))))))

Axioms mentioning List:

(Nth-Domain@Frame-Ontology Cons 3 List)

(Nth-Domain@Frame-Ontology Cons 2 List)

(Nth-Domain@Frame-Ontology Append 3 List)

(Nth-Domain@Frame-Ontology Append 2 List)

(Nth-Domain@Frame-Ontology Append 1 List)