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 1301-1304
(documentation ContentBearingPhysical JapaneseLanguage "コンテンツを表現する任意の Object または Process 。 これは、本のように、Proposition を含む Object をカバーする。 同様に、 ManualSignLanguage も Proposition を含む。") japanese_format.kif 220-222
(documentation ContentBearingPhysical SpanishLanguage "Un Object o Process que expresa contenido. Esto cubre los Objects que contienen una Proposition, como un libro, así como un ManualSignLanguage, por lo que puede contener una Proposition.") spanish_format.kif 261-264
(subclass ContentBearingPhysical Physical) Merge.kif 1299-1299 内容承载物理物理subclass

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


(subclass Brand ContentBearingPhysical) Hotel.kif 1288-1288 Brand内容承载物理subclass
(subclass ContentBearingObject ContentBearingPhysical) Merge.kif 1323-1323 有内用物体内容承载物理subclass
(subclass ContentBearingProcess ContentBearingPhysical) Merge.kif 1311-1311 内容承载过程内容承载物理subclass
(subclass Icon ContentBearingPhysical) Merge.kif 1374-1374 图标内容承载物理subclass
(subclass LinguisticExpression ContentBearingPhysical) Merge.kif 1392-1392 语言式表达内容承载物理subclass
(subclass SymbolicString ContentBearingPhysical) Merge.kif 1331-1331 符号串内容承载物理subclass
(subclass VisualContentBearingPhysical ContentBearingPhysical) Mid-level-ontology.kif 28105-28105 VisualContentBearingPhysical内容承载物理subclass
(termFormat ChineseLanguage ContentBearingPhysical "内容承载物理") domainEnglishFormat.kif 16953-16953 VisualContentBearingPhysical内容承载物理subclass
(termFormat ChineseTraditionalLanguage ContentBearingPhysical "內容承載物理") domainEnglishFormat.kif 16952-16952 VisualContentBearingPhysical内容承载物理subclass
(termFormat EnglishLanguage ContentBearingPhysical "content bearing physical") domainEnglishFormat.kif 16951-16951 VisualContentBearingPhysical内容承载物理subclass

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


(domain actedIn 2 ContentBearingPhysical) Mid-level-ontology.kif 22364-22364 actedIn 的 2 数量 是 内容承载物理instance
(domain containsFormula 1 ContentBearingPhysical) Merge.kif 1362-1362 containsFormula 的 1 数量 是 内容承载物理instance
(domain containsInformation 1 ContentBearingPhysical) Merge.kif 1352-1352 包含信息 的 1 数量 是 内容承载物理instance
(domain equivalentContentInstance 1 ContentBearingPhysical) Merge.kif 4562-4562 内容等效实例 的 1 数量 是 内容承载物理instance
(domain equivalentContentInstance 2 ContentBearingPhysical) Merge.kif 4563-4563 内容等效实例 的 2 数量 是 内容承载物理instance
(domain experimentUpdate 1 ContentBearingPhysical) UXExperimentalTerms.kif 2671-2671 experimentUpdate 的 1 数量 是 内容承载物理instance
(domain finalExperimentReport 1 ContentBearingPhysical) UXExperimentalTerms.kif 2692-2692 finalExperimentReport 的 1 数量 是 内容承载物理instance
(domain language 1 ContentBearingPhysical) Merge.kif 1494-1494 language 的 1 数量 是 内容承载物理instance
(domain recordForAgreement 1 ContentBearingPhysical) Law.kif 507-507 recordForAgreement 的 1 数量 是 内容承载物理instance
(domain subsumesContentInstance 1 ContentBearingPhysical) Merge.kif 4589-4589 包含内容实例 的 1 数量 是 内容承载物理instance
(domain subsumesContentInstance 2 ContentBearingPhysical) Merge.kif 4590-4590 包含内容实例 的 2 数量 是 内容承载物理instance
(domainSubclass abbreviatedDisplayTitle 2 ContentBearingPhysical) Media.kif 3139-3139 abbreviatedDisplayTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass alternativeTitle 2 ContentBearingPhysical) Media.kif 3107-3107 alternativeTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass displayTitle 2 ContentBearingPhysical) Media.kif 3128-3128 displayTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass equivalentContentClass 1 ContentBearingPhysical) Merge.kif 4506-4506 内容等效类 的 1 数量 是 内容承载物理subclass
(domainSubclass equivalentContentClass 2 ContentBearingPhysical) Merge.kif 4507-4507 内容等效类 的 2 数量 是 内容承载物理subclass
(domainSubclass groupingTitle 2 ContentBearingPhysical) Media.kif 3178-3178 groupingTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass misspelledTitle 2 ContentBearingPhysical) Media.kif 3200-3200 misspelledTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass originalTitle 2 ContentBearingPhysical) Media.kif 3168-3168 originalTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass referenceTitle 2 ContentBearingPhysical) Media.kif 3157-3157 referenceTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass sortingTitle 2 ContentBearingPhysical) Media.kif 3117-3117 sortingTitle 的 2 数量 是 内容承载物理subclass
(domainSubclass subsumesContentClass 1 ContentBearingPhysical) Merge.kif 4532-4532 包含内容类 的 1 数量 是 内容承载物理subclass
(domainSubclass subsumesContentClass 2 ContentBearingPhysical) Merge.kif 4533-4533 包含内容类 的 2 数量 是 内容承载物理subclass
(domainSubclass subtitle 2 ContentBearingPhysical) Media.kif 3210-3210 subtitle 的 2 数量 是 内容承载物理subclass
(domainSubclass titleInLanguage 2 ContentBearingPhysical) Media.kif 3089-3089 titleInLanguage 的 2 数量 是 内容承载物理subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?DECIDE Deciding)
        (agent ?DECIDE ?A)
        (patient ?DECIDE ?S)
        (instance ?S Set)
        (result ?DECIDE ?X)
        (instance ?X ContentBearingPhysical))
    (containsFormula ?X
        (holdsDuring
            (FutureFn
                (WhenFn ?DECIDE))
            (exists (?M)
                (and
                    (element ?M ?S)
                    (instance ?M IntentionalProcess)
                    (agent ?M ?A))))))
Merge.kif 12181-12197
(=>
    (instance ?OBJ ContentBearingPhysical)
    (exists (?THING)
        (represents ?OBJ ?THING)))
Merge.kif 1306-1309

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


(=>
    (and
        (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE)
        (instance ?PRODUCT ?PRODUCTTYPE)
        (member ?OBJ ?PRODUCT))
    (instance ?OBJ ContentBearingPhysical))
Media.kif 3191-3196
(=>
    (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