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 1316-1319
(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 1314-1314 ContentBearingPhysical est une sous-classe de physique

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


(subclass Brand ContentBearingPhysical) Hotel.kif 1288-1288 Brand est une sous-classe de ContentBearingPhysical
(subclass ContentBearingObject ContentBearingPhysical) Merge.kif 1338-1338 Objet exprimant un sens est une sous-classe de ContentBearingPhysical
(subclass ContentBearingProcess ContentBearingPhysical) Merge.kif 1326-1326 ContentBearingProcess est une sous-classe de ContentBearingPhysical
(subclass Icon ContentBearingPhysical) Merge.kif 1389-1389 Icone est une sous-classe de ContentBearingPhysical
(subclass LinguisticExpression ContentBearingPhysical) Merge.kif 1407-1407 Expression linguistique est une sous-classe de ContentBearingPhysical
(subclass SymbolicString ContentBearingPhysical) Merge.kif 1346-1346 Cha�ne sympbolique est une sous-classe de ContentBearingPhysical
(subclass VisualContentBearingPhysical ContentBearingPhysical) Mid-level-ontology.kif 28103-28103 VisualContentBearingPhysical est une sous-classe de ContentBearingPhysical
(termFormat ChineseLanguage ContentBearingPhysical "内容承载物理") domainEnglishFormat.kif 16953-16953 VisualContentBearingPhysical est une sous-classe de ContentBearingPhysical
(termFormat ChineseTraditionalLanguage ContentBearingPhysical "內容承載物理") domainEnglishFormat.kif 16952-16952 VisualContentBearingPhysical est une sous-classe de ContentBearingPhysical
(termFormat EnglishLanguage ContentBearingPhysical "content bearing physical") domainEnglishFormat.kif 16951-16951 VisualContentBearingPhysical est une sous-classe de ContentBearingPhysical

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


(domain actedIn 2 ContentBearingPhysical) Mid-level-ontology.kif 22364-22364 Le nombre 2 argument de actedIn est une instance de ContentBearingPhysical
(domain containsFormula 1 ContentBearingPhysical) Merge.kif 1377-1377 Le nombre 1 argument de containsFormula est une instance de ContentBearingPhysical
(domain containsInformation 1 ContentBearingPhysical) Merge.kif 1367-1367 Le nombre 1 argument de containsInformation est une instance de ContentBearingPhysical
(domain equivalentContentInstance 1 ContentBearingPhysical) Merge.kif 4577-4577 Le nombre 1 argument de equivalentContentInstance est une instance de ContentBearingPhysical
(domain equivalentContentInstance 2 ContentBearingPhysical) Merge.kif 4578-4578 Le nombre 2 argument de equivalentContentInstance est une instance de ContentBearingPhysical
(domain experimentUpdate 1 ContentBearingPhysical) UXExperimentalTerms.kif 2671-2671 Le nombre 1 argument de experimentUpdate est une instance de ContentBearingPhysical
(domain finalExperimentReport 1 ContentBearingPhysical) UXExperimentalTerms.kif 2692-2692 Le nombre 1 argument de finalExperimentReport est une instance de ContentBearingPhysical
(domain language 1 ContentBearingPhysical) Merge.kif 1509-1509 Le nombre 1 argument de language est une instance de ContentBearingPhysical
(domain recordForAgreement 1 ContentBearingPhysical) Law.kif 507-507 Le nombre 1 argument de recordForAgreement est une instance de ContentBearingPhysical
(domain subsumesContentInstance 1 ContentBearingPhysical) Merge.kif 4604-4604 Le nombre 1 argument de subsumesContentInstance est une instance de ContentBearingPhysical
(domain subsumesContentInstance 2 ContentBearingPhysical) Merge.kif 4605-4605 Le nombre 2 argument de subsumesContentInstance est une instance de ContentBearingPhysical
(domainSubclass abbreviatedDisplayTitle 2 ContentBearingPhysical) Media.kif 3139-3139 Le nombre 2 argument de abbreviatedDisplayTitle est une sous-classe de ContentBearingPhysical
(domainSubclass alternativeTitle 2 ContentBearingPhysical) Media.kif 3107-3107 Le nombre 2 argument de alternativeTitle est une sous-classe de ContentBearingPhysical
(domainSubclass displayTitle 2 ContentBearingPhysical) Media.kif 3128-3128 Le nombre 2 argument de displayTitle est une sous-classe de ContentBearingPhysical
(domainSubclass equivalentContentClass 1 ContentBearingPhysical) Merge.kif 4521-4521 Le nombre 1 argument de equivalentContentClass est une sous-classe de ContentBearingPhysical
(domainSubclass equivalentContentClass 2 ContentBearingPhysical) Merge.kif 4522-4522 Le nombre 2 argument de equivalentContentClass est une sous-classe de ContentBearingPhysical
(domainSubclass groupingTitle 2 ContentBearingPhysical) Media.kif 3178-3178 Le nombre 2 argument de groupingTitle est une sous-classe de ContentBearingPhysical
(domainSubclass misspelledTitle 2 ContentBearingPhysical) Media.kif 3200-3200 Le nombre 2 argument de misspelledTitle est une sous-classe de ContentBearingPhysical
(domainSubclass originalTitle 2 ContentBearingPhysical) Media.kif 3168-3168 Le nombre 2 argument de originalTitle est une sous-classe de ContentBearingPhysical
(domainSubclass referenceTitle 2 ContentBearingPhysical) Media.kif 3157-3157 Le nombre 2 argument de referenceTitle est une sous-classe de ContentBearingPhysical
(domainSubclass sortingTitle 2 ContentBearingPhysical) Media.kif 3117-3117 Le nombre 2 argument de sortingTitle est une sous-classe de ContentBearingPhysical
(domainSubclass subsumesContentClass 1 ContentBearingPhysical) Merge.kif 4547-4547 Le nombre 1 argument de subsumesContentClass est une sous-classe de ContentBearingPhysical
(domainSubclass subsumesContentClass 2 ContentBearingPhysical) Merge.kif 4548-4548 Le nombre 2 argument de subsumesContentClass est une sous-classe de ContentBearingPhysical
(domainSubclass subtitle 2 ContentBearingPhysical) Media.kif 3210-3210 Le nombre 2 argument de subtitle est une sous-classe de ContentBearingPhysical
(domainSubclass titleInLanguage 2 ContentBearingPhysical) Media.kif 3089-3089 Le nombre 2 argument de titleInLanguage est une sous-classe de ContentBearingPhysical

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 12196-12212
(=>
    (instance ?OBJ ContentBearingPhysical)
    (exists (?THING)
        (represents ?OBJ ?THING)))
Merge.kif 1321-1324

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