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 1204-1207
(subclass ContentBearingPhysical Physical) Merge.kif 1202-1202 subclass ContentBearingPhysical and Physical

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


(subclass Brand ContentBearingPhysical) Hotel.kif 1231-1231 subclass Brand and ContentBearingPhysical
(subclass ContentBearingObject ContentBearingPhysical) Merge.kif 1226-1226 subclass ContentBearingObject and ContentBearingPhysical
(subclass ContentBearingProcess ContentBearingPhysical) Merge.kif 1214-1214 subclass ContentBearingProcess and ContentBearingPhysical
(subclass Icon ContentBearingPhysical) Merge.kif 1264-1264 subclass Icon and ContentBearingPhysical
(subclass LinguisticExpression ContentBearingPhysical) Merge.kif 1282-1282 subclass LinguisticExpression and ContentBearingPhysical
(subclass VisualContentBearingPhysical ContentBearingPhysical) Mid-level-ontology.kif 24237-24237 subclass VisualContentBearingPhysical and ContentBearingPhysical
(termFormat ChineseLanguage ContentBearingPhysical "内容承载物理") domainEnglishFormat.kif 16876-16876
(termFormat ChineseTraditionalLanguage ContentBearingPhysical "內容承載物理") domainEnglishFormat.kif 16875-16875
(termFormat EnglishLanguage ContentBearingPhysical "content bearing physical") domainEnglishFormat.kif 16874-16874

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


(domain actedIn 2 ContentBearingPhysical) Mid-level-ontology.kif 18435-18435 domain actedIn, 2 and ContentBearingPhysical
(domain containsFormula 1 ContentBearingPhysical) Law.kif 21-21 domain containsFormula, 1 and ContentBearingPhysical
(domain containsInformation 1 ContentBearingPhysical) Merge.kif 1255-1255 domain containsInformation, 1 and ContentBearingPhysical
(domain equivalentContentInstance 1 ContentBearingPhysical) Merge.kif 4375-4375 domain equivalentContentInstance, 1 and ContentBearingPhysical
(domain equivalentContentInstance 2 ContentBearingPhysical) Merge.kif 4376-4376 domain equivalentContentInstance, 2 and ContentBearingPhysical
(domain experimentUpdate 1 ContentBearingPhysical) UXExperimentalTerms.kif 2878-2878 domain experimentUpdate, 1 and ContentBearingPhysical
(domain finalExperimentReport 1 ContentBearingPhysical) UXExperimentalTerms.kif 2899-2899 domain finalExperimentReport, 1 and ContentBearingPhysical
(domain language 1 ContentBearingPhysical) Merge.kif 1384-1384 domain language, 1 and ContentBearingPhysical
(domain recordForAgreement 1 ContentBearingPhysical) Law.kif 549-549 domain recordForAgreement, 1 and ContentBearingPhysical
(domain subsumesContentInstance 1 ContentBearingPhysical) Merge.kif 4396-4396 domain subsumesContentInstance, 1 and ContentBearingPhysical
(domain subsumesContentInstance 2 ContentBearingPhysical) Merge.kif 4397-4397 domain subsumesContentInstance, 2 and ContentBearingPhysical
(domainSubclass abbreviatedDisplayTitle 2 ContentBearingPhysical) Media.kif 3125-3125 domainSubclass abbreviatedDisplayTitle, 2 and ContentBearingPhysical
(domainSubclass alternativeTitle 2 ContentBearingPhysical) Media.kif 3093-3093 domainSubclass alternativeTitle, 2 and ContentBearingPhysical
(domainSubclass displayTitle 2 ContentBearingPhysical) Media.kif 3114-3114 domainSubclass displayTitle, 2 and ContentBearingPhysical
(domainSubclass equivalentContentClass 1 ContentBearingPhysical) Merge.kif 4325-4325 domainSubclass equivalentContentClass, 1 and ContentBearingPhysical
(domainSubclass equivalentContentClass 2 ContentBearingPhysical) Merge.kif 4326-4326 domainSubclass equivalentContentClass, 2 and ContentBearingPhysical
(domainSubclass groupingTitle 2 ContentBearingPhysical) Media.kif 3164-3164 domainSubclass groupingTitle, 2 and ContentBearingPhysical
(domainSubclass misspelledTitle 2 ContentBearingPhysical) Media.kif 3186-3186 domainSubclass misspelledTitle, 2 and ContentBearingPhysical
(domainSubclass originalTitle 2 ContentBearingPhysical) Media.kif 3154-3154 domainSubclass originalTitle, 2 and ContentBearingPhysical
(domainSubclass referenceTitle 2 ContentBearingPhysical) Media.kif 3143-3143 domainSubclass referenceTitle, 2 and ContentBearingPhysical
(domainSubclass sortingTitle 2 ContentBearingPhysical) Media.kif 3103-3103 domainSubclass sortingTitle, 2 and ContentBearingPhysical
(domainSubclass subsumesContentClass 1 ContentBearingPhysical) Merge.kif 4345-4345 domainSubclass subsumesContentClass, 1 and ContentBearingPhysical
(domainSubclass subsumesContentClass 2 ContentBearingPhysical) Merge.kif 4346-4346 domainSubclass subsumesContentClass, 2 and ContentBearingPhysical
(domainSubclass subtitle 2 ContentBearingPhysical) Media.kif 3196-3196 domainSubclass subtitle, 2 and ContentBearingPhysical
(domainSubclass titleInLanguage 2 ContentBearingPhysical) Media.kif 3075-3075 domainSubclass titleInLanguage, 2 and ContentBearingPhysical

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 1209-1212

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