SymbolicString Comparison Table

Next LinguisticExpression: Word Up: LinguisticExpression Previous LinguisticExpression: Sentence

SymbolicString comparison table

Subject documentation is a kind of be second domain of be first domain of have axiom

LinguisticExpression This is the subclass of ContentBearingObjectss which are language-related. Note that this Class encompasses both Language and the the elements of Languages, e.g. Words ContentBearingObject subsumesContentInstance subsumesContentInstance
(=>
(realization ?PROCESS ?PROP)
(exists (?OBJ)
(and
(instance ?OBJ ContentBearingObject)
(containsInformation ?OBJ ?PROP))))

SymbolicString The Class of all LinguisticExpressions that are represented as strings LinguisticExpression relatedExternalConcept KappaFn
(=>
(instance ?STRING SymbolicString)
(exists (?PART)
(and
(part ?PART ?STRING)
(instance ?PART Character))))

Subject	documentation	is a kind of	be second domain of	be first domain of	have axiom
LinguisticExpression	This is the subclass of ContentBearingObjectss which are language-related. Note that this Class encompasses both Language and the the elements of Languages, e.g. Words	ContentBearingObject	subsumesContentInstance	subsumesContentInstance	(=> (realization ?PROCESS ?PROP) (exists (?OBJ) (and (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PROP))))
SymbolicString	The Class of all LinguisticExpressions that are represented as strings	LinguisticExpression	relatedExternalConcept	KappaFn	(=> (instance ?STRING SymbolicString) (exists (?PART) (and (part ?PART ?STRING) (instance ?PART Character))))

Next LinguisticExpression: Word Up: LinguisticExpression Previous LinguisticExpression: Sentence