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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ContentBearingPhysical

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 1267-1270
(subclass ContentBearingPhysical Physical) Merge.kif 1265-1265 内容承载物理物理subclass

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


(subclass Brand ContentBearingPhysical) Hotel.kif 1280-1280 Brand内容承载物理subclass
(subclass ContentBearingObject ContentBearingPhysical) Merge.kif 1289-1289 有内用物体内容承载物理subclass
(subclass ContentBearingProcess ContentBearingPhysical) Merge.kif 1277-1277 内容承载过程内容承载物理subclass
(subclass Icon ContentBearingPhysical) Merge.kif 1327-1327 图标内容承载物理subclass
(subclass LinguisticExpression ContentBearingPhysical) Merge.kif 1345-1345 语言式表达内容承载物理subclass
(subclass VisualContentBearingPhysical ContentBearingPhysical) Mid-level-ontology.kif 25689-25689 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 20151-20151 actedIn 的 2 数量 是 内容承载物理instance
(domain containsFormula 1 ContentBearingPhysical) Law.kif 21-21 containsFormula 的 1 数量 是 内容承载物理instance
(domain containsInformation 1 ContentBearingPhysical) Merge.kif 1318-1318 包含信息 的 1 数量 是 内容承载物理instance
(domain equivalentContentInstance 1 ContentBearingPhysical) Merge.kif 4461-4461 内容等效实例 的 1 数量 是 内容承载物理instance
(domain equivalentContentInstance 2 ContentBearingPhysical) Merge.kif 4462-4462 内容等效实例 的 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 1447-1447 language 的 1 数量 是 内容承载物理instance
(domain recordForAgreement 1 ContentBearingPhysical) Law.kif 549-549 recordForAgreement 的 1 数量 是 内容承载物理instance
(domain subsumesContentInstance 1 ContentBearingPhysical) Merge.kif 4488-4488 包含内容实例 的 1 数量 是 内容承载物理instance
(domain subsumesContentInstance 2 ContentBearingPhysical) Merge.kif 4489-4489 包含内容实例 的 2 数量 是 内容承载物理instance
(domainSubclass abbreviatedDisplayTitle 2 ContentBearingPhysical) Media.kif 3141-3141 abbreviatedDisplayTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass alternativeTitle 2 ContentBearingPhysical) Media.kif 3109-3109 alternativeTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass displayTitle 2 ContentBearingPhysical) Media.kif 3130-3130 displayTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass equivalentContentClass 1 ContentBearingPhysical) Merge.kif 4405-4405 内容等效类 的 1 数量 是 内容承载物理subclass
(domainSubclass equivalentContentClass 2 ContentBearingPhysical) Merge.kif 4406-4406 内容等效类 的 2 数量 是 内容承载物理subclass
(domainSubclass groupingTitle 2 ContentBearingPhysical) Media.kif 3180-3180 groupingTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass misspelledTitle 2 ContentBearingPhysical) Media.kif 3202-3202 misspelledTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass originalTitle 2 ContentBearingPhysical) Media.kif 3170-3170 originalTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass referenceTitle 2 ContentBearingPhysical) Media.kif 3159-3159 referenceTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass sortingTitle 2 ContentBearingPhysical) Media.kif 3119-3119 sortingTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass subsumesContentClass 1 ContentBearingPhysical) Merge.kif 4431-4431 包含内容类 的 1 数量 是 内容承载物理subclass
(domainSubclass subsumesContentClass 2 ContentBearingPhysical) Merge.kif 4432-4432 包含内容类 的 2 数量 是 内容承载物理subclass
(domainSubclass subtitle 2 ContentBearingPhysical) Media.kif 3212-3212 subtitle 的 2 数量 是 内容承载物理subclass
(domainSubclass titleInLanguage 2 ContentBearingPhysical) Media.kif 3091-3091 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 1272-1275

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


(=>
    (and
        (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
        (instance ?PRODUCT ?PRODUCTTYPE)
        (member ?OBJ ?PRODUCT))
    (instance ?OBJ ContentBearingPhysical))
Media.kif 3193-3198
(=>
    (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 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 3.0 is open source software produced by Articulate Software and its partners