Class Listterm

Subclass-Of@Frame-Ontology: List, Term
Instance-Of@Frame-Ontology: Class@Frame-Ontology, Relation@Ol-User%Kif-Relations, Set
Arity@Frame-Ontology: 1
Documentation@Ol%Frame-Ontology: KIF list term expression


Slots:


Implication Axioms for Listterm:

(=> (Listterm ?Expr) (= (First ?Expr) 'Listof))


Equivalence Axioms for Listterm:

(<=> (Listterm ?Expr)
     (And (Term ?Expr) (List ?Expr) (= (First ?Expr) 'Listof)))


Frame References to Listterm:

In class@frame-ontology Term:

Exhaustive-Subclass-Partition@Frame-Ontology: {
Funterm, Listterm, Logterm, Quanterm, Quoterm, Setterm, Word}