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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ContentBearingPhysical
ContentBearingPhysical(content bearing physical)aliyah, radiophoto, radiophotograph

appearance as argument number 1
-------------------------


s__documentation(s__ContentBearingPhysical,s__ChineseLanguage,'"任何能表达内容的 ObjectProcess 。这包括有 PropositionObject ,像一本书和同样有 PropositionManualSignLanguage。"')

chinese_format.kif 1637-1638
s__documentation(s__ContentBearingPhysical,s__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 1205-1208
s__instance(s__ContentBearingPhysical,s__SetOrClass)

s__instance(s__Physical,s__SetOrClass)

s__subclass(s__ContentBearingPhysical,s__Physical)

Merge.kif 1203-1203 Content bearing physical is a subclass of physical

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


s__instance(s__Brand,s__SetOrClass)

s__instance(s__ContentBearingPhysical,s__SetOrClass)

s__subclass(s__Brand,s__ContentBearingPhysical)

Hotel.kif 1245-1245 Brand is a subclass of content bearing physical
s__instance(s__ContentBearingObject,s__SetOrClass)

s__instance(s__ContentBearingPhysical,s__SetOrClass)

s__subclass(s__ContentBearingObject,s__ContentBearingPhysical)

Merge.kif 1227-1227 Content bearing object is a subclass of content bearing physical
s__instance(s__ContentBearingPhysical,s__SetOrClass)

s__subclass(s__ContentBearingProcess,s__ContentBearingPhysical)

s__instance(s__ContentBearingProcess,s__SetOrClass)

Merge.kif 1215-1215 Content bearing process is a subclass of content bearing physical
s__subclass(s__Icon,s__ContentBearingPhysical)

s__instance(s__ContentBearingPhysical,s__SetOrClass)

s__instance(s__Icon,s__SetOrClass)

Merge.kif 1265-1265 Icon is a subclass of content bearing physical
s__instance(s__LinguisticExpression,s__SetOrClass)

s__instance(s__ContentBearingPhysical,s__SetOrClass)

s__subclass(s__LinguisticExpression,s__ContentBearingPhysical)

Merge.kif 1283-1283 Linguistic expression is a subclass of content bearing physical
s__instance(s__ContentBearingPhysical,s__SetOrClass)

s__instance(s__VisualContentBearingPhysical,s__SetOrClass)

s__subclass(s__VisualContentBearingPhysical,s__ContentBearingPhysical)

Mid-level-ontology.kif 24610-24610 VisualContentBearingPhysical is a subclass of content bearing physical
s__termFormat(s__ChineseLanguage,s__ContentBearingPhysical,'"内容承载物理"')

domainEnglishFormat.kif 16935-16935
s__termFormat(s__ChineseTraditionalLanguage,s__ContentBearingPhysical,'"內容承載物理"')

domainEnglishFormat.kif 16934-16934
s__termFormat(s__EnglishLanguage,s__ContentBearingPhysical,'"content bearing physical"')

domainEnglishFormat.kif 16933-16933

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


s__domain(s__actedIn__m,n__2,s__ContentBearingPhysical)

Mid-level-ontology.kif 19127-19127 The number 2 argument of actedIn is an instance of content bearing physical
s__domain(s__containsFormula__m,n__1,s__ContentBearingPhysical)

Law.kif 21-21 The number 1 argument of contains formula is an instance of content bearing physical
s__domain(s__containsInformation__m,n__1,s__ContentBearingPhysical)

Merge.kif 1256-1256 The number 1 argument of contains information is an instance of content bearing physical
s__domain(s__equivalentContentInstance__m,n__1,s__ContentBearingPhysical)

Merge.kif 4385-4385 The number 1 argument of equivalent content instance is an instance of content bearing physical
s__domain(s__equivalentContentInstance__m,n__2,s__ContentBearingPhysical)

Merge.kif 4386-4386 The number 2 argument of equivalent content instance is an instance of content bearing physical
s__domain(s__experimentUpdate__m,n__1,s__ContentBearingPhysical)

UXExperimentalTerms.kif 2881-2881 The number 1 argument of live experiment update is an instance of content bearing physical
s__domain(s__finalExperimentReport__m,n__1,s__ContentBearingPhysical)

UXExperimentalTerms.kif 2902-2902 The number 1 argument of final experiment report is an instance of content bearing physical
s__domain(s__language__m,n__1,s__ContentBearingPhysical)

Merge.kif 1385-1385 The number 1 argument of language is an instance of content bearing physical
s__domain(s__recordForAgreement__m,n__1,s__ContentBearingPhysical)

Law.kif 549-549 The number 1 argument of recordForAgreement is an instance of content bearing physical
s__domain(s__subsumesContentInstance__m,n__1,s__ContentBearingPhysical)

Merge.kif 4406-4406 The number 1 argument of subsumes content instance is an instance of content bearing physical
s__domain(s__subsumesContentInstance__m,n__2,s__ContentBearingPhysical)

Merge.kif 4407-4407 The number 2 argument of subsumes content instance is an instance of content bearing physical
s__domainSubclass(s__abbreviatedDisplayTitle__m,n__2,s__ContentBearingPhysical)

Media.kif 3125-3125 The number 2 argument of abbreviatedDisplayTitle is a subclass of content bearing physical
s__domainSubclass(s__alternativeTitle__m,n__2,s__ContentBearingPhysical)

Media.kif 3093-3093 The number 2 argument of alternativeTitle is a subclass of content bearing physical
s__domainSubclass(s__displayTitle__m,n__2,s__ContentBearingPhysical)

Media.kif 3114-3114 The number 2 argument of displayTitle is a subclass of content bearing physical
s__domainSubclass(s__equivalentContentClass__m,n__1,s__ContentBearingPhysical)

Merge.kif 4335-4335 The number 1 argument of equivalent content class is a subclass of content bearing physical
s__domainSubclass(s__equivalentContentClass__m,n__2,s__ContentBearingPhysical)

Merge.kif 4336-4336 The number 2 argument of equivalent content class is a subclass of content bearing physical
s__domainSubclass(s__groupingTitle__m,n__2,s__ContentBearingPhysical)

Media.kif 3164-3164 The number 2 argument of groupingTitle is a subclass of content bearing physical
s__domainSubclass(s__misspelledTitle__m,n__2,s__ContentBearingPhysical)

Media.kif 3186-3186 The number 2 argument of misspelledTitle is a subclass of content bearing physical
s__domainSubclass(s__originalTitle__m,n__2,s__ContentBearingPhysical)

Media.kif 3154-3154 The number 2 argument of originalTitle is a subclass of content bearing physical
s__domainSubclass(s__referenceTitle__m,n__2,s__ContentBearingPhysical)

Media.kif 3143-3143 The number 2 argument of referenceTitle is a subclass of content bearing physical
s__domainSubclass(s__sortingTitle__m,n__2,s__ContentBearingPhysical)

Media.kif 3103-3103 The number 2 argument of sortingTitle is a subclass of content bearing physical
s__domainSubclass(s__subsumesContentClass__m,n__1,s__ContentBearingPhysical)

Merge.kif 4355-4355 The number 1 argument of subsumes content class is a subclass of content bearing physical
s__domainSubclass(s__subsumesContentClass__m,n__2,s__ContentBearingPhysical)

Merge.kif 4356-4356 The number 2 argument of subsumes content class is a subclass of content bearing physical
s__domainSubclass(s__subtitle__m,n__2,s__ContentBearingPhysical)

Media.kif 3196-3196 The number 2 argument of subtitle is a subclass of content bearing physical
s__domainSubclass(s__titleInLanguage__m,n__2,s__ContentBearingPhysical)

Media.kif 3075-3075 The number 2 argument of titleInLanguage is a subclass of content bearing physical

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__OBJ] :
   ((s__instance(V__OBJ,s__ContentBearingPhysical) =>
       (( ? [V__THING] :
           (s__represents(V__OBJ,V__THING)))))
   )
)

Merge.kif 1210-1213

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


( ! [V__STRING,V__PRODUCT,V__OBJ,V__LANGUAGE,V__PRODUCTTYPE] :
   (((s__instance(V__STRING,s__SymbolicString) &
         s__instance(V__PRODUCT,s__Collection) &
         s__instance(V__OBJ,s__Physical) &
         s__instance(V__LANGUAGE,s__Language) &
         s__instance(V__PRODUCTTYPE,s__Class))
       =>
       (((s__groupingTitle(V__STRING,V__PRODUCTTYPE,V__LANGUAGE)
           &
           s__instance(V__PRODUCT,V__PRODUCTTYPE)
         &
         s__member(V__OBJ,V__PRODUCT))
     =>
     (s__instance(V__OBJ,s__ContentBearingPhysical)))))
)
)

Media.kif 3177-3182
( ! [V__PLAN,V__PROC] :
   (((s__instance(V__PLAN,s__Plan) &
         s__instance(V__PROC,s__Process) &
         s__represents(V__PLAN,V__PROC))
     =>
     (( ? [V__PLANNING, V__CBO] :
         ((s__instance(V__PLANNING,s__Planning) &
             s__instance(V__CBO,s__ContentBearingPhysical) &
             s__containsInformation(V__CBO,V__PLAN)
           &
           s__result(V__PLANNING,V__CBO)
         &
         s__earlier(s__BeginFn(s__WhenFn(V__PLANNING))
    ,s__BeginFn(s__WhenFn(V__PROC)))
&
s__earlier(s__EndFn(s__WhenFn(V__PLANNING))
,s__EndFn(s__WhenFn(V__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