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 1205-1208
(subclass ContentBearingPhysical Physical) Merge.kif 1203-1203 内容承载物理物理subclass

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


(subclass Brand ContentBearingPhysical) Hotel.kif 1245-1245 Brand内容承载物理subclass
(subclass ContentBearingObject ContentBearingPhysical) Merge.kif 1227-1227 有内用物体内容承载物理subclass
(subclass ContentBearingProcess ContentBearingPhysical) Merge.kif 1215-1215 内容承载过程内容承载物理subclass
(subclass Icon ContentBearingPhysical) Merge.kif 1265-1265 图标内容承载物理subclass
(subclass LinguisticExpression ContentBearingPhysical) Merge.kif 1283-1283 语言式表达内容承载物理subclass
(subclass VisualContentBearingPhysical ContentBearingPhysical) Mid-level-ontology.kif 24334-24334 VisualContentBearingPhysical内容承载物理subclass
(termFormat ChineseLanguage ContentBearingPhysical "内容承载物理") domainEnglishFormat.kif 16935-16935
(termFormat ChineseTraditionalLanguage ContentBearingPhysical "內容承載物理") domainEnglishFormat.kif 16934-16934
(termFormat EnglishLanguage ContentBearingPhysical "content bearing physical") domainEnglishFormat.kif 16933-16933

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


(domain actedIn 2 ContentBearingPhysical) Mid-level-ontology.kif 18850-18850 actedIn 的 2 数量 是 内容承载物理instance
(domain containsFormula 1 ContentBearingPhysical) Law.kif 21-21 containsFormula 的 1 数量 是 内容承载物理instance
(domain containsInformation 1 ContentBearingPhysical) Merge.kif 1256-1256 包含信息 的 1 数量 是 内容承载物理instance
(domain equivalentContentInstance 1 ContentBearingPhysical) Merge.kif 4385-4385 内容等效实例 的 1 数量 是 内容承载物理instance
(domain equivalentContentInstance 2 ContentBearingPhysical) Merge.kif 4386-4386 内容等效实例 的 2 数量 是 内容承载物理instance
(domain experimentUpdate 1 ContentBearingPhysical) UXExperimentalTerms.kif 2881-2881 experimentUpdate 的 1 数量 是 内容承载物理instance
(domain finalExperimentReport 1 ContentBearingPhysical) UXExperimentalTerms.kif 2902-2902 finalExperimentReport 的 1 数量 是 内容承载物理instance
(domain language 1 ContentBearingPhysical) Merge.kif 1385-1385 language 的 1 数量 是 内容承载物理instance
(domain recordForAgreement 1 ContentBearingPhysical) Law.kif 549-549 recordForAgreement 的 1 数量 是 内容承载物理instance
(domain subsumesContentInstance 1 ContentBearingPhysical) Merge.kif 4406-4406 包含内容实例 的 1 数量 是 内容承载物理instance
(domain subsumesContentInstance 2 ContentBearingPhysical) Merge.kif 4407-4407 包含内容实例 的 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 4335-4335 内容等效类 的 1 数量 是 内容承载物理subclass
(domainSubclass equivalentContentClass 2 ContentBearingPhysical) Merge.kif 4336-4336 内容等效类 的 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 4355-4355 包含内容类 的 1 数量 是 内容承载物理subclass
(domainSubclass subsumesContentClass 2 ContentBearingPhysical) Merge.kif 4356-4356 包含内容类 的 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 1210-1213

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