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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ContentBearingObject
ContentBearingObjectكَائِن يَحْمِل مَضْمُون, 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, Objeto_Representendo_Conteudo_Abstrato, OggettoSemiotico, 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...

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


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

Merge.kif 1361-1363
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 1357-1360
s__relatedInternalConcept(s__ContentBearingObject,s__containsInformation__m)

Merge.kif 1356-1356
s__subclass(s__ContentBearingObject,s__ContentBearingPhysical)

Merge.kif 1355-1355
s__subclass(s__ContentBearingObject,s__CorpuscularObject)

Merge.kif 1354-1354

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


s__instance(s__ContentBearingObject,s__SetOrClass)

Society.kif 1291-1291
s__rangeSubclass(s__EditionFn__m,s__ContentBearingObject)

Merge.kif 15567-15567
s__instance(s__Compass,s__SetOrClass)

Mid-level-ontology.kif 2721-2721
s__subclass(s__ComputerFile,s__ContentBearingObject)

engineering.kif 1335-1335
s__subclass(s__ConstitutionDocument,s__ContentBearingObject)

Government.kif 676-676
s__subclass(s__Descriptor,s__ContentBearingObject)

Mid-level-ontology.kif 22260-22260
s__instance(s__DescriptorPart,s__SetOrClass)

Mid-level-ontology.kif 22282-22282
s__instance(s__Document,s__SetOrClass)

Mid-level-ontology.kif 24360-24360
s__instance(s__Feedback,s__SetOrClass)

QoSontology.kif 653-653
s__subclass(s__GreetingCard,s__ContentBearingObject)

Offers.kif 211-211
s__instance(s__HolidayCard,s__SetOrClass)

Mid-level-ontology.kif 12571-12571
s__instance(s__MultipoleDiagram,s__SetOrClass)

engineering.kif 376-376
s__subclass(s__PlayingCard,s__ContentBearingObject)

Mid-level-ontology.kif 14709-14709
s__instance(s__ProcessState,s__SetOrClass)

QoSontology.kif 535-535
s__instance(s__Recording,s__SetOrClass)

Mid-level-ontology.kif 12005-12005
s__instance(s__SheetMusic,s__SetOrClass)

Mid-level-ontology.kif 12030-12030
s__subclass(s__ShipRegister,s__ContentBearingObject)

Transportation.kif 1053-1053
s__instance(s__ShipRegistration,s__SetOrClass)

Transportation.kif 1034-1034
s__instance(s__Sign,s__SetOrClass)

Mid-level-ontology.kif 14703-14703
s__subclass(s__SymbolicString,s__ContentBearingObject)

Merge.kif 1365-1365
s__subclass(s__Text,s__ContentBearingObject)

Merge.kif 15400-15400
s__subclass(s__UniformResourceIdentifier,s__ContentBearingObject)

QoSontology.kif 1653-1653
s__subclass(s__UserAccount,s__ContentBearingObject)

QoSontology.kif 2007-2007
s__instance(s__VisualContentBearingObject,s__SetOrClass)

Mid-level-ontology.kif 24119-24119
s__subclass(s__WebDocument,s__ContentBearingObject)

engineering.kif 1358-1358

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,1,s__ContentBearingObject)

FinancialOntology.kif 3390-3390
s__domain(s__coding__m,1,s__ContentBearingObject)

QoSontology.kif 2163-2163
s__domain(s__deceptiveIdentifier__m,1,s__ContentBearingObject)

Mid-level-ontology.kif 21199-21199
s__domain(s__inventory__m,1,s__ContentBearingObject)

Mid-level-ontology.kif 20560-20560
s__domain(s__record__m,1,s__ContentBearingObject)

Mid-level-ontology.kif 11950-11950
s__domain(s__stored__m,1,s__ContentBearingObject)

Mid-level-ontology.kif 11976-11976
s__domainSubclass(s__EditionFn__m,1,s__ContentBearingObject)

Merge.kif 15565-15565
s__domainSubclass(s__authors__m,2,s__ContentBearingObject)

Merge.kif 15508-15508

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


( ! [V__EVENT,V__CBO,V__INFO] :
   ((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 1495-1501
( ! [V__EVENT,V__CBO] :
   ((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 10749-10757
No TPTP formula. May not be expressible in strict first order. Merge.kif 10775-10782
( ! [V__PLAN,V__CBO,V__EVENT] :
   ((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 1503-1509
( ! [V__PLAN,V__CBO,V__OP] :
   ((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 1541-1548
( ! [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 17042-17050
( ! [V__PLANNING,V__CBO,V__INFO] :
   ((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 1780-1786
( ! [V__PROP,V__CBO,V__COMM] :
   ((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 2871-2878
( ! [V__PROP,V__CBO,V__ER] :
   ((s__instance(V__PROP,s__Proposition) &
       s__instance(V__CBO,s__ContentBearingObject) &
       s__containsInformation(V__CBO,V__PROP)
     &
     s__instance(V__ER,s__ExpenseReport) &
     s__patient(V__ER,V__CBO))
=>
s__represents(V__ER,V__PROP))
)

TravelPolicies.kif 617-624
( ! [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 247-256
( ! [V__CBO] :
   (s__instance(V__CBO,s__ContentBearingObject) =>
     (? [V__PROP] :
       (s__instance(V__PROP,s__Proposition) &
         s__containsInformation(V__CBO,V__PROP))))
)

TravelPolicies.kif 95-100

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


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

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

Merge.kif 12534-12539
( ! [V__PROCESS,V__PROP] :
   (s__realization(V__PROCESS,V__PROP)
   =>
   (? [V__OBJ] :
     (s__instance(V__OBJ,s__ContentBearingObject) &
       s__containsInformation(V__OBJ,V__PROP))))
)

Merge.kif 4736-4741


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners