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 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 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 1323-1323 Objet exprimant un sens est une sous-classe de ContentBearingPhysical
(subclass ContentBearingProcess ContentBearingPhysical) Merge.kif 1311-1311 ContentBearingProcess est une sous-classe de ContentBearingPhysical
(subclass Icon ContentBearingPhysical) Merge.kif 1374-1374 Icone est une sous-classe de ContentBearingPhysical
(subclass LinguisticExpression ContentBearingPhysical) Merge.kif 1392-1392 Expression linguistique est une sous-classe de ContentBearingPhysical
(subclass SymbolicString ContentBearingPhysical) Merge.kif 1331-1331 Cha�ne sympbolique est une sous-classe de ContentBearingPhysical
(subclass VisualContentBearingPhysical ContentBearingPhysical) Mid-level-ontology.kif 28105-28105 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 1362-1362 Le nombre 1 argument de containsFormula est une instance de ContentBearingPhysical
(domain containsInformation 1 ContentBearingPhysical) Merge.kif 1352-1352 Le nombre 1 argument de containsInformation est une instance de ContentBearingPhysical
(domain equivalentContentInstance 1 ContentBearingPhysical) Merge.kif 4562-4562 Le nombre 1 argument de equivalentContentInstance est une instance de ContentBearingPhysical
(domain equivalentContentInstance 2 ContentBearingPhysical) Merge.kif 4563-4563 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 1494-1494 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 4589-4589 Le nombre 1 argument de subsumesContentInstance est une instance de ContentBearingPhysical
(domain subsumesContentInstance 2 ContentBearingPhysical) Merge.kif 4590-4590 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 4506-4506 Le nombre 1 argument de equivalentContentClass est une sous-classe de ContentBearingPhysical
(domainSubclass equivalentContentClass 2 ContentBearingPhysical) Merge.kif 4507-4507 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 4532-4532 Le nombre 1 argument de subsumesContentClass est une sous-classe de ContentBearingPhysical
(domainSubclass subsumesContentClass 2 ContentBearingPhysical) Merge.kif 4533-4533 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 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 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