Class String

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

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)