Language concept from the SUMO knowledge base

Next LinguisticExpression: Morpheme Up: LinguisticExpression Previous LinguisticExpression: Character

Language	*documentation* A system of signs for expressing thought. The system can be either natural or artificial, i.e. something that emerges gradually as a cultural artifact or something that is intentionally created by a person or group of people
	*is second domain* of** sentenceOfLanguage
	*is third domain* of** relatedExternalConcept
	*is third domain* of** representsInLanguage
	is a kind of LinguisticExpression
LinguisticExpression	*is disjoint* from** Icon
ContentBearingObject	has axiom (=> (and (instance ?PLAN Plan) (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PLAN)) (exists (?PLANNING) (and (instance ?PLANNING Planning) (result ?PLANNING ?OBJ))))
	has axiom (=> (instance ?ACTION Communication) (exists (?OBJ) (and (instance ?OBJ ContentBearingObject) (patient ?ACTION ?OBJ))))
	has axiom (=> (realization ?PROCESS ?PROP) (exists (?OBJ) (and (instance ?OBJ ContentBearingObject) (containsInformation ?OBJ ?PROP))))
	has relatedInternalConcept containsInformation
	*is first domain* of** containsInformation
	*is first domain* of** equivalentContentClass
	*is first domain* of** equivalentContentInstance
	*is first domain* of** subsumesContentClass
	*is first domain* of** subsumesContentInstance