Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ContentBearingObject
ContentBearingObject(content bearing object)ABA_transit_number, BIN, C, C_clef, Christian_name, F_clef, G_clef, I.D., ID, John_Hancock, Labanotation, Latin_square, Lukasiewicz_notation, MEDLARS, Mass_card, Medical_Literature_Analysis_and_Retrieval_System, Polish_notation, Princeton_WordNet, Social_Security_number, Station_of_the_Cross, Universal_Product_Code, WordNet, a.k.a., accentual_system, acciaccatura, accidental, accolade, actuarial_table, address, adducing, adult, adumbration, aerogram, aerogramme, air_letter, air_mail, airmail, airmail_letter, algorism, alias, alla_breve, allograph, allusion, also_known_as, alto_clef, anon., anonymous, antigenic_determinant, appoggiatura, argument...

appearance as argument number 1
-------------------------


s__documentation(s__ContentBearingObject,s__ChineseLanguage,'"任何能表达内容的 SelfConnectedObject 内容可以是一篇 Proposition , 举例说当 ContentBearingObject 是一个 SentenceText , 又或者是抽象或有形物体像一个 Icon 、一个 Word 或一个 Phrase 。"')

chinese_format.kif 1641-1643
s__documentation(s__ContentBearingObject,s__EnglishLanguage,'"Any SelfConnectedObject that expresses content. This content may be a Proposition, e.g. when the ContentBearingObject is a Sentence or Text, or it may be a representation of an abstract or physical object, as with an Icon, a Word or a Phrase."')

Merge.kif 1230-1233
s__relatedInternalConcept(s__ContentBearingObject,s__containsInformation__m)

Merge.kif 1228-1228 Content bearing object is internally related to contains information
s__instance(s__ContentBearingObject,s__SetOrClass)

s__instance(s__ContentBearingPhysical,s__SetOrClass)

s__subclass(s__ContentBearingObject,s__ContentBearingPhysical)

Merge.kif 1227-1227 Content bearing object is a subclass of content bearing physical
s__instance(s__CorpuscularObject,s__SetOrClass)

s__subclass(s__ContentBearingObject,s__CorpuscularObject)

s__instance(s__ContentBearingObject,s__SetOrClass)

Merge.kif 1226-1226 Content bearing object is a subclass of corpuscular object

appearance as argument number 2
-------------------------


s__rangeSubclass(s__EditionFn__m,s__ContentBearingObject)

Merge.kif 14739-14739 The values returned by edition are subclasses of content bearing object
s__instance(s__Account,s__SetOrClass)

s__instance(s__ContentBearingObject,s__SetOrClass)

s__subclass(s__Account,s__ContentBearingObject)

ComputingBrands.kif 4511-4511 Account is a subclass of content bearing object
s__instance(s__ContentBearingObject,s__SetOrClass)

s__subclass(s__Compass,s__ContentBearingObject)

s__instance(s__Compass,s__SetOrClass)

Mid-level-ontology.kif 2198-2198 Compass is a subclass of content bearing object
s__instance(s__ContentBearingObject,s__SetOrClass)

s__instance(s__ConstitutionDocument,s__SetOrClass)

s__subclass(s__ConstitutionDocument,s__ContentBearingObject)

Government.kif 669-669 Constitution document is a subclass of content bearing object
s__instance(s__ContentBearingObject,s__SetOrClass)

s__subclass(s__Descriptor,s__ContentBearingObject)

s__instance(s__Descriptor,s__SetOrClass)

Mid-level-ontology.kif 23199-23199 Descriptor is a subclass of content bearing object
s__subclass(s__DescriptorPart,s__ContentBearingObject)

s__instance(s__ContentBearingObject,s__SetOrClass)

s__instance(s__DescriptorPart,s__SetOrClass)

Mid-level-ontology.kif 23215-23215 DescriptorPart is a subclass of content bearing object
s__subclass(s__Document,s__ContentBearingObject)

s__instance(s__ContentBearingObject,s__SetOrClass)

s__instance(s__Document,s__SetOrClass)

Mid-level-ontology.kif 25070-25070 Document is a subclass of content bearing object
s__instance(s__ContentBearingObject,s__SetOrClass)

s__subclass(s__Feedback,s__ContentBearingObject)

s__instance(s__Feedback,s__SetOrClass)

QoSontology.kif 670-670 Feedback is a subclass of content bearing object
s__instance(s__ContentBearingObject,s__SetOrClass)

s__subclass(s__HolidayCard,s__ContentBearingObject)

s__instance(s__HolidayCard,s__SetOrClass)

Mid-level-ontology.kif 13690-13690 Holiday card is a subclass of content bearing object
s__instance(s__ContentBearingObject,s__SetOrClass)

s__instance(s__MultipoleDiagram,s__SetOrClass)

s__subclass(s__MultipoleDiagram,s__ContentBearingObject)

engineering.kif 380-380 Multipole diagram is a subclass of content bearing object
s__instance(s__ContentBearingObject,s__SetOrClass)

s__instance(s__PlayingCard,s__SetOrClass)

s__subclass(s__PlayingCard,s__ContentBearingObject)

Mid-level-ontology.kif 15877-15877 Playing card is a subclass of content bearing object
s__instance(s__ContentBearingObject,s__SetOrClass)

s__instance(s__ProcessState,s__SetOrClass)

s__subclass(s__ProcessState,s__ContentBearingObject)

QoSontology.kif 552-552 Process state is a subclass of content bearing object
s__subclass(s__Recording,s__ContentBearingObject)

s__instance(s__ContentBearingObject,s__SetOrClass)

s__instance(s__Recording,s__SetOrClass)

Merge.kif 1272-1272 Recording is a subclass of content bearing object
s__instance(s__SheetMusic,s__SetOrClass)

s__subclass(s__SheetMusic,s__ContentBearingObject)

s__instance(s__ContentBearingObject,s__SetOrClass)

Mid-level-ontology.kif 13257-13257 Sheet music is a subclass of content bearing object
s__instance(s__ShipRegister,s__SetOrClass)

s__instance(s__ContentBearingObject,s__SetOrClass)

s__subclass(s__ShipRegister,s__ContentBearingObject)

Transportation.kif 1106-1106 Ship register is a subclass of content bearing object
s__instance(s__ContentBearingObject,s__SetOrClass)

s__instance(s__ShipRegistration,s__SetOrClass)

s__subclass(s__ShipRegistration,s__ContentBearingObject)

Transportation.kif 1087-1087 Ship registration is a subclass of content bearing object
s__instance(s__ContentBearingObject,s__SetOrClass)

s__subclass(s__Sign,s__ContentBearingObject)

s__instance(s__Sign,s__SetOrClass)

Mid-level-ontology.kif 15871-15871 Sign is a subclass of content bearing object
s__instance(s__ContentBearingObject,s__SetOrClass)

s__subclass(s__SymbolicString,s__ContentBearingObject)

s__instance(s__SymbolicString,s__SetOrClass)

Merge.kif 1235-1235 Symbolic string is a subclass of content bearing object
s__instance(s__ContentBearingObject,s__SetOrClass)

s__instance(s__Text,s__SetOrClass)

s__subclass(s__Text,s__ContentBearingObject)

Merge.kif 14589-14589 Text is a subclass of content bearing object
s__subclass(s__UniformResourceIdentifier,s__ContentBearingObject)

s__instance(s__ContentBearingObject,s__SetOrClass)

s__instance(s__UniformResourceIdentifier,s__SetOrClass)

QoSontology.kif 1679-1679 Uniform resource identifier is a subclass of content bearing object
s__instance(s__ContentBearingObject,s__SetOrClass)

s__subclass(s__UserAccount,s__ContentBearingObject)

s__instance(s__UserAccount,s__SetOrClass)

QoSontology.kif 2041-2041 User account is a subclass of content bearing object
s__instance(s__ContentBearingObject,s__SetOrClass)

s__subclass(s__VisualContentBearingObject,s__ContentBearingObject)

s__instance(s__VisualContentBearingObject,s__SetOrClass)

Mid-level-ontology.kif 24899-24899 VisualContentBearingObject is a subclass of content bearing object
s__instance(s__ContentBearingObject,s__SetOrClass)

s__subclass(s__WebDocument,s__ContentBearingObject)

s__instance(s__WebDocument,s__SetOrClass)

engineering.kif 1361-1361 Web document is a subclass of content bearing object
s__termFormat(s__ChineseLanguage,s__ContentBearingObject,'"有内用物体"')

chinese_format.kif 833-833
s__termFormat(s__EnglishLanguage,s__ContentBearingObject,'"content bearing object"')

english_format.kif 873-873

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


s__domain(s__cardCode__m,n__1,s__ContentBearingObject)

FinancialOntology.kif 3460-3460 The number 1 argument of card code is an instance of content bearing object
s__domain(s__coding__m,n__1,s__ContentBearingObject)

QoSontology.kif 2206-2206 The number 1 argument of coding is an instance of content bearing object
s__domain(s__deceptiveIdentifier__m,n__1,s__ContentBearingObject)

Mid-level-ontology.kif 22062-22062 The number 1 argument of deceptive identifier is an instance of content bearing object
s__domain(s__inventory__m,n__1,s__ContentBearingObject)

Mid-level-ontology.kif 21457-21457 The number 1 argument of inventory is an instance of content bearing object
s__domain(s__record__m,n__1,s__ContentBearingObject)

Mid-level-ontology.kif 13183-13183 The number 1 argument of record is an instance of content bearing object
s__domain(s__stored__m,n__1,s__ContentBearingObject)

Mid-level-ontology.kif 13209-13209 The number 1 argument of stored is an instance of content bearing object
s__domainSubclass(s__EditionFn__m,n__1,s__ContentBearingObject)

Merge.kif 14737-14737 The number 1 argument of edition is a subclass of content bearing object
s__domainSubclass(s__authors__m,n__2,s__ContentBearingObject)

Merge.kif 14686-14686 The number 2 argument of authors is a subclass of content bearing object

antecedent
-------------------------


( ! [V__INFO,V__CBO,V__EVENT] :
   ((s__instance(V__INFO,s__Proposition) =>
       (((s__instance(V__EVENT,s__OperationPlanning) &
             s__result(V__EVENT,V__CBO)
           &
           s__instance(V__CBO,s__ContentBearingObject) &
           s__containsInformation(V__CBO,V__INFO))
       =>
       (s__instance(V__INFO,s__OperationPlan)))))
)
)

MilitaryProcesses.kif 1508-1514
( ! [V__CBO,V__EVENT] :
   (((s__instance(V__EVENT,s__Planning) &
         s__result(V__EVENT,V__CBO)
       &
       s__instance(V__CBO,s__ContentBearingObject))
     =>
     (( ? [V__PLAN] :
         ((s__instance(V__PLAN,s__Plan) &
             s__containsInformation(V__CBO,V__PLAN))))))
)
)

Merge.kif 10379-10387
No TPTP formula. May not be expressible in strict first order. Merge.kif 10402-10409
( ! [V__PLAN,V__CBO,V__EVENT] :
   ((s__instance(V__EVENT,s__Process) =>
       (((s__instance(V__PLAN,s__OperationPlan) &
             s__containsInformation(V__CBO,V__PLAN)
           &
           s__instance(V__CBO,s__ContentBearingObject) &
           s__result(V__EVENT,V__CBO))
       =>
       (s__instance(V__EVENT,s__OperationPlanning)))))
)
)

MilitaryProcesses.kif 1516-1522
( ! [V__OP,V__PLAN,V__CBO] :
   (((s__instance(V__PLAN,s__OperationPlan) &
         s__instance(V__CBO,s__ContentBearingObject) &
         s__containsInformation(V__CBO,V__PLAN)
       &
       s__instance(V__OP,s__MilitaryOperation) &
       s__result(V__OP,V__CBO))
   =>
   (s__represents(V__PLAN,V__OP)))
)
)

MilitaryProcesses.kif 1554-1561
( ! [V__PLAN,V__OBJ] :
   (((s__instance(V__PLAN,s__Plan) &
         s__instance(V__OBJ,s__ContentBearingObject) &
         s__containsInformation(V__OBJ,V__PLAN))
     =>
     (( ? [V__PLANNING] :
         ((s__instance(V__PLANNING,s__Planning) &
             s__result(V__PLANNING,V__OBJ))))))
)
)

Merge.kif 16020-16028
( ! [V__PLANNING,V__INFO,V__CBO] :
   ((s__instance(V__INFO,s__Proposition) =>
       (((s__instance(V__PLANNING,s__JointOperationPlanning) &
             s__result(V__PLANNING,V__CBO)
           &
           s__instance(V__CBO,s__ContentBearingObject) &
           s__containsInformation(V__CBO,V__INFO))
       =>
       (s__instance(V__INFO,s__OPLAN)))))
)
)

MilitaryProcesses.kif 1793-1799
( ! [V__CBO,V__COMM,V__PROP] :
   (((s__instance(V__PROP,s__Proposition) &
         s__instance(V__CBO,s__ContentBearingObject) &
         s__containsInformation(V__CBO,V__PROP)
       &
       s__instance(V__COMM,s__Communication) &
       s__patient(V__COMM,V__CBO))
   =>
   (s__represents(V__COMM,V__PROP)))
)
)

Geography.kif 2906-2913
( ! [V__X] :
   (((s__instance(V__X,s__ContentBearingObject) &
         s__attribute(V__X,s__Braille))
       =>
       (( ? [V__H] :
           ((s__instance(V__H,s__Human) &
               s__attribute(V__H,s__Blind) &
               s__capability(s__Interpreting,s__agent__m,V__H)
             &
             s__capability(s__Interpreting,s__patient__m,V__X))))))
)
)

Dining.kif 240-249

consequent
-------------------------


( ! [V__X] :
   ((s__instance(V__X,s__Object) =>
       ((s__attribute(V__X,s__Braille) =>
           (s__instance(V__X,s__ContentBearingObject)))))
     )
   )

Dining.kif 236-238
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3290-3300
( ! [V__DEVELOP] :
   ((s__instance(V__DEVELOP,s__ContentDevelopment) =>
       (( ? [V__OBJ] :
           ((s__instance(V__OBJ,s__ContentBearingObject) &
               s__result(V__DEVELOP,V__OBJ))))))
   )
)

Merge.kif 12042-12047
( ! [V__PROCESS,V__PROP] :
   (((s__instance(V__PROCESS,s__Process) &
         s__instance(V__PROP,s__Proposition))
       =>
       ((s__realization(V__PROCESS,V__PROP)
         =>
         (( ? [V__OBJ] :
             ((s__instance(V__OBJ,s__ContentBearingObject) &
                 s__containsInformation(V__OBJ,V__PROP))))))))
)
)

Merge.kif 4439-4444


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners