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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ContentBearingPhysical
ContentBearingPhysical(内容承载物理)

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


(documentation ContentBearingPhysical ChineseLanguage "任何能表达内容的 ObjectProcess 。这包括有 PropositionObject ,像一本书和同样有 PropositionManualSignLanguage。") chinese_format.kif 1637-1638
(documentation ContentBearingPhysical EnglishLanguage "Any Object or Process that expresses content. This covers Objects that contain a Proposition, such as a book, as well as ManualSignLanguage, which may similarly contain a Proposition.") Merge.kif 1204-1207
(subclass ContentBearingPhysical Physical) Merge.kif 1202-1202 内容承载物理物理subclass

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


(subclass Brand ContentBearingPhysical) Hotel.kif 1231-1231 Brand内容承载物理subclass
(subclass ContentBearingObject ContentBearingPhysical) Merge.kif 1226-1226 有内用物体内容承载物理subclass
(subclass ContentBearingProcess ContentBearingPhysical) Merge.kif 1214-1214 内容承载过程内容承载物理subclass
(subclass Icon ContentBearingPhysical) Merge.kif 1264-1264 图标内容承载物理subclass
(subclass LinguisticExpression ContentBearingPhysical) Merge.kif 1282-1282 语言式表达内容承载物理subclass
(subclass VisualContentBearingPhysical ContentBearingPhysical) Mid-level-ontology.kif 24237-24237 VisualContentBearingPhysical内容承载物理subclass
(termFormat ChineseLanguage ContentBearingPhysical "内容承载物理") domainEnglishFormat.kif 16876-16876
(termFormat ChineseTraditionalLanguage ContentBearingPhysical "內容承載物理") domainEnglishFormat.kif 16875-16875
(termFormat EnglishLanguage ContentBearingPhysical "content bearing physical") domainEnglishFormat.kif 16874-16874

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


(domain actedIn 2 ContentBearingPhysical) Mid-level-ontology.kif 18435-18435 actedIn 的 2 数量 是 内容承载物理instance
(domain containsFormula 1 ContentBearingPhysical) Law.kif 21-21 containsFormula 的 1 数量 是 内容承载物理instance
(domain containsInformation 1 ContentBearingPhysical) Merge.kif 1255-1255 包含信息 的 1 数量 是 内容承载物理instance
(domain equivalentContentInstance 1 ContentBearingPhysical) Merge.kif 4375-4375 内容等效实例 的 1 数量 是 内容承载物理instance
(domain equivalentContentInstance 2 ContentBearingPhysical) Merge.kif 4376-4376 内容等效实例 的 2 数量 是 内容承载物理instance
(domain experimentUpdate 1 ContentBearingPhysical) UXExperimentalTerms.kif 2878-2878 experimentUpdate 的 1 数量 是 内容承载物理instance
(domain finalExperimentReport 1 ContentBearingPhysical) UXExperimentalTerms.kif 2899-2899 finalExperimentReport 的 1 数量 是 内容承载物理instance
(domain language 1 ContentBearingPhysical) Merge.kif 1384-1384 language 的 1 数量 是 内容承载物理instance
(domain recordForAgreement 1 ContentBearingPhysical) Law.kif 549-549 recordForAgreement 的 1 数量 是 内容承载物理instance
(domain subsumesContentInstance 1 ContentBearingPhysical) Merge.kif 4396-4396 包含内容实例 的 1 数量 是 内容承载物理instance
(domain subsumesContentInstance 2 ContentBearingPhysical) Merge.kif 4397-4397 包含内容实例 的 2 数量 是 内容承载物理instance
(domainSubclass abbreviatedDisplayTitle 2 ContentBearingPhysical) Media.kif 3125-3125 abbreviatedDisplayTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass alternativeTitle 2 ContentBearingPhysical) Media.kif 3093-3093 alternativeTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass displayTitle 2 ContentBearingPhysical) Media.kif 3114-3114 displayTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass equivalentContentClass 1 ContentBearingPhysical) Merge.kif 4325-4325 内容等效类 的 1 数量 是 内容承载物理subclass
(domainSubclass equivalentContentClass 2 ContentBearingPhysical) Merge.kif 4326-4326 内容等效类 的 2 数量 是 内容承载物理subclass
(domainSubclass groupingTitle 2 ContentBearingPhysical) Media.kif 3164-3164 groupingTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass misspelledTitle 2 ContentBearingPhysical) Media.kif 3186-3186 misspelledTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass originalTitle 2 ContentBearingPhysical) Media.kif 3154-3154 originalTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass referenceTitle 2 ContentBearingPhysical) Media.kif 3143-3143 referenceTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass sortingTitle 2 ContentBearingPhysical) Media.kif 3103-3103 sortingTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass subsumesContentClass 1 ContentBearingPhysical) Merge.kif 4345-4345 包含内容类 的 1 数量 是 内容承载物理subclass
(domainSubclass subsumesContentClass 2 ContentBearingPhysical) Merge.kif 4346-4346 包含内容类 的 2 数量 是 内容承载物理subclass
(domainSubclass subtitle 2 ContentBearingPhysical) Media.kif 3196-3196 subtitle 的 2 数量 是 内容承载物理subclass
(domainSubclass titleInLanguage 2 ContentBearingPhysical) Media.kif 3075-3075 titleInLanguage 的 2 数量 是 内容承载物理subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?OBJ ContentBearingPhysical)
    (exists (?THING)
        (represents ?OBJ ?THING)))
Merge.kif 1209-1212

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


(=>
    (and
        (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
        (instance ?PRODUCT ?PRODUCTTYPE)
        (member ?OBJ ?PRODUCT))
    (instance ?OBJ ContentBearingPhysical))
Media.kif 3177-3182
(=>
    (and
        (instance ?PLAN Plan)
        (instance ?PROC Process)
        (represents ?PLAN ?PROC))
    (exists (?PLANNING ?CBO)
        (and
            (instance ?PLANNING Planning)
            (instance ?CBO ContentBearingPhysical)
            (containsInformation ?CBO ?PLAN)
            (result ?PLANNING ?CBO)
            (earlier
                (BeginFn
                    (WhenFn ?PLANNING))
                (BeginFn
                    (WhenFn ?PROC)))
            (earlier
                (EndFn
                    (WhenFn ?PLANNING))
                (EndFn
                    (WhenFn ?PROC))))))
Military.kif 32-44


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