Class String

Subclass-Of@Frame-Ontology: List
Instance-Of@Frame-Ontology: Class@Frame-Ontology, Relation, Set
Range-Of@Frame-Ontology: Documentation@Ol%Frame-Ontology, Picture@Interface-Ontology, Pretty-Name@Frame-Ontology
Arity@Frame-Ontology: 1
Documentation@Ol%Frame-Ontology:
A string is a sequence of characters.

Notes:

  • STRING is not in the KIF 3.0 spec!


Slots:


Implication Axioms mentioning String:

(=> (= (Creation-Date@Interface-Ontology ?Frame) ?Date)
    (Or (Time-Point@Simple-Time ?Date) (String ?Date)))

(=> (= (Last-Modification-Date@Interface-Ontology ?Frame) ?Date)
    (Or (Time-Point@Simple-Time ?Date) (String ?Date)))

(=> (= (Creator@Interface-Ontology ?Frame) ?Creator)
    (Or (Agent@Agents ?Creator) (String ?Creator)))

(=> (= (Last-Modifier@Interface-Ontology ?Frame) ?Modifier)
    (Or (Agent@Agents ?Modifier) (String ?Modifier)))


Axioms mentioning String:

(Nth-Domain@Frame-Ontology Slot-Documentation@Frame-Ontology
            3
            String)