SUMO   View all facts   Glossary   Help
Entity > Physical > Object > ContentBearingObject > LinguisticExpression > SymbolicString
Next LinguisticExpressionWord    UpLinguisticExpression    Previous LinguisticExpressionSentence   

SymbolicString
subjectfact 
SymbolicStringdocumentation The Class of all LinguisticExpressions that are represented as strings2001-11-30 13:35:23.0
has axiom
(=>
(instance ?STRING SymbolicString)
(exists (?PART)
(and
(part ?PART ?STRING)
(instance ?PART Character))))
2001-11-30 13:35:23.0
is first domain of KappaFn2001-11-30 13:35:23.0
is second domain of documentation2001-11-30 13:35:23.0
is second domain of relatedExternalConcept2001-11-30 13:35:23.0
is a kind of LinguisticExpression2001-11-30 13:35:23.0
LinguisticExpressionis disjoint from Icon2001-11-30 13:34:36.0
ContentBearingObjecthas relatedInternalConcept containsInformation2001-11-30 13:33:56.0
Objectis third domain of between2001-11-30 13:34:51.0
is third domain of capability2001-11-30 13:34:51.0
is third domain of connects2001-11-30 13:34:51.0