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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ContentBearingObject

Sigma KEE - ContentBearingObject
ContentBearingObject(有内用物体)

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


(documentation ContentBearingObject ChineseLanguage "任何能表达内容的 SelfConnectedObject 内容可以是一篇 Proposition , 举例说当 ContentBearingObject 是一个 SentenceText , 又或者是抽象或有形物体像一个 Icon 、一个 Word 或一个 Phrase 。") Merge.kif 1373-1375
(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 1369-1372
(relatedInternalConcept ContentBearingObject containsInformation) Merge.kif 1368-1368 有内用物体包含信息 是 内部相关
(subclass ContentBearingObject ContentBearingPhysical) Merge.kif 1367-1367 有内用物体ContentBearingPhysicalsubclass
(subclass ContentBearingObject CorpuscularObject) Merge.kif 1366-1366 有内用物体躯体性物体subclass

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


(rangeSubclass EditionFn ContentBearingObject) Merge.kif 15625-15625 版本函数 的所得值 是 有内用物体subclass
(subclass Compass ContentBearingObject) Mid-level-ontology.kif 2721-2721 Compass有内用物体subclass
(subclass ComputerFile ContentBearingObject) engineering.kif 1335-1335 ComputerFile有内用物体subclass
(subclass ConstitutionDocument ContentBearingObject) Government.kif 676-676 ConstitutionDocument有内用物体subclass
(subclass Descriptor ContentBearingObject) Mid-level-ontology.kif 22291-22291 Descriptor有内用物体subclass
(subclass DescriptorPart ContentBearingObject) Mid-level-ontology.kif 22313-22313 DescriptorPart有内用物体subclass
(subclass Document ContentBearingObject) Mid-level-ontology.kif 24440-24440 Document有内用物体subclass
(subclass Feedback ContentBearingObject) QoSontology.kif 668-668 Feedback有内用物体subclass
(subclass HolidayCard ContentBearingObject) Mid-level-ontology.kif 12571-12571 HolidayCard有内用物体subclass
(subclass MultipoleDiagram ContentBearingObject) engineering.kif 376-376 MultipoleDiagram有内用物体subclass
(subclass PlayingCard ContentBearingObject) Mid-level-ontology.kif 14709-14709 PlayingCard有内用物体subclass
(subclass ProcessState ContentBearingObject) QoSontology.kif 550-550 ProcessState有内用物体subclass
(subclass Recording ContentBearingObject) Mid-level-ontology.kif 12005-12005 Recording有内用物体subclass
(subclass SheetMusic ContentBearingObject) Mid-level-ontology.kif 12030-12030 SheetMusic有内用物体subclass
(subclass ShipRegister ContentBearingObject) Transportation.kif 1080-1080 ShipRegister有内用物体subclass
(subclass ShipRegistration ContentBearingObject) Transportation.kif 1061-1061 ShipRegistration有内用物体subclass
(subclass Sign ContentBearingObject) Mid-level-ontology.kif 14703-14703 Sign有内用物体subclass
(subclass SymbolicString ContentBearingObject) Merge.kif 1377-1377 符号串有内用物体subclass
(subclass Text ContentBearingObject) Merge.kif 15458-15458 文本有内用物体subclass
(subclass UniformResourceIdentifier ContentBearingObject) QoSontology.kif 1669-1669 UniformResourceIdentifier有内用物体subclass
(subclass UserAccount ContentBearingObject) QoSontology.kif 2023-2023 UserAccount有内用物体subclass
(subclass VisualContentBearingObject ContentBearingObject) Mid-level-ontology.kif 24199-24199 VisualContentBearingObject有内用物体subclass
(subclass WebDocument ContentBearingObject) engineering.kif 1358-1358 WebDocument有内用物体subclass
(termFormat ChineseLanguage ContentBearingObject "有内用物体") chinese_format.kif 833-833 termFormat ChineseLanguage, 有内用物体 and "有内用物体"
(termFormat EnglishLanguage ContentBearingObject "content bearing object") english_format.kif 560-560 termFormat EnglishLanguage, 有内用物体 and "content bearing object"

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 3390-3390 cardCode 的 1 数量 是 有内用物体instance
(domain coding 1 ContentBearingObject) QoSontology.kif 2179-2179 coding 的 1 数量 是 有内用物体instance
(domain deceptiveIdentifier 1 ContentBearingObject) Mid-level-ontology.kif 21230-21230 deceptiveIdentifier 的 1 数量 是 有内用物体instance
(domain inventory 1 ContentBearingObject) Mid-level-ontology.kif 20591-20591 inventory 的 1 数量 是 有内用物体instance
(domain record 1 ContentBearingObject) Mid-level-ontology.kif 11950-11950 record 的 1 数量 是 有内用物体instance
(domain stored 1 ContentBearingObject) Mid-level-ontology.kif 11976-11976 stored 的 1 数量 是 有内用物体instance
(domainSubclass EditionFn 1 ContentBearingObject) Merge.kif 15623-15623 版本函数 的 1 数量 是 有内用物体subclass
(domainSubclass authors 2 ContentBearingObject) Merge.kif 15566-15566 作者 的 2 数量 是 有内用物体subclass

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


(=>
    (and
        (instance ?EVENT OperationPlanning)
        (result ?EVENT ?CBO)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?INFO))
    (instance ?INFO OperationPlan))
MilitaryProcesses.kif 1495-1501
(=>
    (and
        (instance ?EVENT Planning)
        (result ?EVENT ?CBO)
        (instance ?CBO ContentBearingObject))
    (exists (?PLAN)
        (and
            (instance ?PLAN Plan)
            (containsInformation ?CBO ?PLAN))))
Merge.kif 10807-10815
(=>
    (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 10833-10840
(=>
    (and
        (instance ?PLAN OperationPlan)
        (containsInformation ?CBO ?PLAN)
        (instance ?CBO ContentBearingObject)
        (result ?EVENT ?CBO))
    (instance ?EVENT OperationPlanning))
MilitaryProcesses.kif 1503-1509
(=>
    (and
        (instance ?PLAN OperationPlan)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PLAN)
        (instance ?OP MilitaryOperation)
        (result ?OP ?CBO))
    (represents ?PLAN ?OP))
MilitaryProcesses.kif 1541-1548
(=>
    (and
        (instance ?PLAN Plan)
        (instance ?OBJ ContentBearingObject)
        (containsInformation ?OBJ ?PLAN))
    (exists (?PLANNING)
        (and
            (instance ?PLANNING Planning)
            (result ?PLANNING ?OBJ))))
Merge.kif 17094-17102
(=>
    (and
        (instance ?PLANNING JointOperationPlanning)
        (result ?PLANNING ?CBO)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?INFO))
    (instance ?INFO OPLAN))
MilitaryProcesses.kif 1780-1786
(=>
    (and
        (instance ?PROP Proposition)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PROP)
        (instance ?COMM Communication)
        (patient ?COMM ?CBO))
    (represents ?COMM ?PROP))
Geography.kif 2871-2878
(=>
    (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 247-256

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


(=>
    (attribute ?X Braille)
    (instance ?X ContentBearingObject))
Dining.kif 241-243
(=>
    (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 3893-3903
(=>
    (instance ?DEVELOP ContentDevelopment)
    (exists (?OBJ)
        (and
            (instance ?OBJ ContentBearingObject)
            (result ?DEVELOP ?OBJ))))
Merge.kif 12592-12597
(=>
    (realization ?PROCESS ?PROP)
    (exists (?OBJ)
        (and
            (instance ?OBJ ContentBearingObject)
            (containsInformation ?OBJ ?PROP))))
Merge.kif 4749-4754


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