A string is a sequence of characters.Notes:
- STRING is not in the KIF 3.0 spec!
(=> (= (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)))
(Nth-Domain@Frame-Ontology Slot-Documentation@Frame-Ontology 3 String)