SUMO   View all facts   Glossary   Help
Entity > Physical > Object > ContentBearingObject
Next Object: Food    Up: Object    Previous Object: Collection   

ContentBearingObject comparison table
Subject documentation be disjoint from be second domain of have axiom
IconThis 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, etcProcesssubsumesContentInstance
(=>
    (realization ?PROCESS ?PROP)
    (exists (?OBJ)
       (and
          (instance ?OBJ ContentBearingObject)
          (containsInformation ?OBJ ?PROP))))
LinguisticExpressionThis is the subclass of ContentBearingObjectss which are language-related. Note that this Class encompasses both Language and the the elements of Languages, e.g. WordsIconsubsumesContentInstance
(=>
    (realization ?PROCESS ?PROP)
    (exists (?OBJ)
       (and
          (instance ?OBJ ContentBearingObject)
          (containsInformation ?OBJ ?PROP))))
TextA set of Sentences that express a discourse on a subject of some sortProcessauthors
(=>
     (instance ?TEXT Text)
     (exists (?PART1 ?PART2)
         (and
             (part ?PART1 ?TEXT)
 	      (part ?PART2 ?TEXT)
             (instance ?PART1 Sentence)
 	      (instance ?PART2 Sentence)
             (not (equal ?PART1 ?PART2)))))

Next Object: Food    Up: Object    Previous Object: Collection