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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ContentBearingObject

Sigma KEE - ContentBearingObject
ContentBearingObject

VerbNet: create-26.4|publish, create-26.4|publish, create-26.4|publish, create-26.4|publish, create-26.4|publish, transcribe-25.4|videotape, transcribe-25.4|videotape,


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


(documentation ContentBearingObject ChineseLanguage "任何能表达内容的 SelfConnectedObject 内容可以是一篇 Proposition , 举例说当 ContentBearingObject 是一个 SentenceText , 又或者是抽象或有形物体像一个 Icon 、一个 Word 或一个 Phrase 。") chinese_format.kif 1641-1643
(documentation ContentBearingObject 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 1225-1228
(relatedInternalConcept ContentBearingObject containsInformation) Merge.kif 1223-1223
(subclass ContentBearingObject ContentBearingPhysical) Merge.kif 1222-1222
(subclass ContentBearingObject CorpuscularObject) Merge.kif 1221-1221

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


(rangeSubclass EditionFn ContentBearingObject) Merge.kif 14339-14339
(subclass Account ContentBearingObject) ComputingBrands.kif 4465-4465
(subclass Compass ContentBearingObject) Mid-level-ontology.kif 2722-2722
(subclass ConstitutionDocument ContentBearingObject) Government.kif 669-669
(subclass Descriptor ContentBearingObject) Mid-level-ontology.kif 22356-22356
(subclass DescriptorPart ContentBearingObject) Mid-level-ontology.kif 22378-22378
(subclass Document ContentBearingObject) Mid-level-ontology.kif 24505-24505
(subclass Feedback ContentBearingObject) QoSontology.kif 670-670
(subclass HolidayCard ContentBearingObject) Mid-level-ontology.kif 12623-12623
(subclass MultipoleDiagram ContentBearingObject) engineering.kif 380-380
(subclass PlayingCard ContentBearingObject) Mid-level-ontology.kif 14762-14762
(subclass ProcessState ContentBearingObject) QoSontology.kif 552-552
(subclass Recording ContentBearingObject) Merge.kif 1267-1267
(subclass SheetMusic ContentBearingObject) Mid-level-ontology.kif 12082-12082
(subclass ShipRegister ContentBearingObject) Transportation.kif 1095-1095
(subclass ShipRegistration ContentBearingObject) Transportation.kif 1076-1076
(subclass Sign ContentBearingObject) Mid-level-ontology.kif 14756-14756
(subclass SymbolicString ContentBearingObject) Merge.kif 1230-1230
(subclass Text ContentBearingObject) Merge.kif 14189-14189
(subclass UniformResourceIdentifier ContentBearingObject) QoSontology.kif 1679-1679
(subclass UserAccount ContentBearingObject) QoSontology.kif 2041-2041
(subclass VisualContentBearingObject ContentBearingObject) Mid-level-ontology.kif 24264-24264
(subclass WebDocument ContentBearingObject) engineering.kif 1361-1361
(termFormat ChineseLanguage ContentBearingObject "有内用物体") chinese_format.kif 833-833
(termFormat EnglishLanguage 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
-------------------------


(domain cardCode 1 ContentBearingObject) FinancialOntology.kif 3397-3397
(domain coding 1 ContentBearingObject) QoSontology.kif 2206-2206
(domain deceptiveIdentifier 1 ContentBearingObject) Mid-level-ontology.kif 21295-21295
(domain inventory 1 ContentBearingObject) Mid-level-ontology.kif 20656-20656
(domain record 1 ContentBearingObject) Mid-level-ontology.kif 12008-12008
(domain stored 1 ContentBearingObject) Mid-level-ontology.kif 12034-12034
(domainSubclass EditionFn 1 ContentBearingObject) Merge.kif 14337-14337
(domainSubclass authors 2 ContentBearingObject) Merge.kif 14286-14286

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


(=>
    (and
        (instance ?EVENT OperationPlanning)
        (result ?EVENT ?CBO)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?INFO))
    (instance ?INFO OperationPlan))
MilitaryProcesses.kif 1508-1514
(=>
    (and
        (instance ?EVENT Planning)
        (result ?EVENT ?CBO)
        (instance ?CBO ContentBearingObject))
    (exists (?PLAN)
        (and
            (instance ?PLAN Plan)
            (containsInformation ?CBO ?PLAN))))
Merge.kif 10103-10111
(=>
    (and
        (instance ?INTERPRET Interpreting)
        (agent ?INTERPRET ?AGENT)
        (patient ?INTERPRET ?CONTENT)
        (instance ?CONTENT ContentBearingObject))
    (exists (?PROP)
        (holdsDuring
            (EndFn
                (WhenFn ?INTERPRET))
            (believes ?AGENT
                (containsInformation ?CONTENT ?PROP)))))
Merge.kif 10126-10133
(=>
    (and
        (instance ?PLAN OperationPlan)
        (containsInformation ?CBO ?PLAN)
        (instance ?CBO ContentBearingObject)
        (result ?EVENT ?CBO))
    (instance ?EVENT OperationPlanning))
MilitaryProcesses.kif 1516-1522
(=>
    (and
        (instance ?PLAN OperationPlan)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PLAN)
        (instance ?OP MilitaryOperation)
        (result ?OP ?CBO))
    (represents ?PLAN ?OP))
MilitaryProcesses.kif 1554-1561
(=>
    (and
        (instance ?PLAN Plan)
        (instance ?OBJ ContentBearingObject)
        (containsInformation ?OBJ ?PLAN))
    (exists (?PLANNING)
        (and
            (instance ?PLANNING Planning)
            (result ?PLANNING ?OBJ))))
Merge.kif 15606-15614
(=>
    (and
        (instance ?PLANNING JointOperationPlanning)
        (result ?PLANNING ?CBO)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?INFO))
    (instance ?INFO OPLAN))
MilitaryProcesses.kif 1793-1799
(=>
    (and
        (instance ?PROP Proposition)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PROP)
        (instance ?COMM Communication)
        (patient ?COMM ?CBO))
    (represents ?COMM ?PROP))
Geography.kif 2884-2891
(=>
    (and
        (instance ?X ContentBearingObject)
        (attribute ?X Braille))
    (exists (?H)
        (and
            (instance ?H Human)
            (attribute ?H Blind)
            (capability Interpreting agent ?H)
            (capability Interpreting patient ?X))))
Dining.kif 240-249

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


(=>
    (attribute ?X Braille)
    (instance ?X ContentBearingObject))
Dining.kif 236-238
(=>
    (instance ?DA DisplayArtifact)
    (hasPurpose ?DA
        (exists (?P ?D ?I)
            (and
                (instance ?P Putting)
                (instance ?D Disseminating)
                (instance ?I ContentBearingObject)
                (patient ?P ?I)
                (patient ?D ?I)
                (destination ?P ?DA)))))
Mid-level-ontology.kif 3895-3905
(=>
    (instance ?DEVELOP ContentDevelopment)
    (exists (?OBJ)
        (and
            (instance ?OBJ ContentBearingObject)
            (result ?DEVELOP ?OBJ))))
Merge.kif 11728-11733
(=>
    (realization ?PROCESS ?PROP)
    (exists (?OBJ)
        (and
            (instance ?OBJ ContentBearingObject)
            (containsInformation ?OBJ ?PROP))))
Merge.kif 4391-4396


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

Show without tree


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