Icon concept from the SUMO knowledge base

Next ContentBearingObject: LinguisticExpression Up: ContentBearingObject Previous ContentBearingObject: Text

Next ContentBearingObject: LinguisticExpression Up: ContentBearingObject Previous ContentBearingObject: Text

Icon	*documentation* This is the subclass of ContentBearingObjects which are not part of a Language and which have some sort of similarity with the Objects that they represent. This Class would include symbolic roadway signs, 'icons' in a graphical computer operating system, etc
Icon	is a kind of ContentBearingObject
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
	*is second domain* of** equivalentContentClass
	*is second domain* of** equivalentContentInstance
	*is second domain* of** subsumesContentClass
	*is second domain* of** subsumesContentInstance
Object	*is disjoint* from** Process
	*is third domain* of** between
	*is third domain* of** capability
	*is third domain* of** connects