Class Word

Subclass-Of@Frame-Ontology: Expression
Exhaustive-Subclass-Partition@Frame-Ontology: {Constant, Variable}
Constant, Variable, Funconst, Objconst, Relconst ...
Instance-Of@Frame-Ontology: Class@Frame-Ontology, Relation@Ol-User%Kif-Relations, Set
Arity@Frame-Ontology: 1
An atom in a KIF expression.


  • Word used to be partitioned into variable, constant, and OPERATOR, but examination of p.8 of the spec reveals that operators are not words, which is a relief because this was causing exhaustive- subclass partition barfage because variable and constant were both members of the partitions of Word and Term. Term has been updated so as to be partitioned into Word and the non-atomic terms. JPR.


Implication Axioms for Word:

(=> (Word ?Expr) (Not (List ?Expr)))

Frame References to Word:

In class@frame-ontology Term:

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

Equivalence Axioms mentioning Word:

(<=> (Expression ?Expr)
     (Or (Word ?Expr)
         (And (List ?Expr)
              (Forall (?Subexpr)
                      (=> (Item ?Subexpr ?Expr)
                          (Expression ?Subexpr))))))