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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ContentBearingPhysical
ContentBearingPhysicalaliyah, content_bearing_physical, radiophoto, radiophotograph

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


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

Merge.kif 1334-1335
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 1330-1333
s__subclass(s__ContentBearingPhysical,s__Physical)

Merge.kif 1329-1329

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


s__subclass(s__Brand,s__ContentBearingPhysical)

Hotel.kif 1227-1227
s__subclass(s__ContentBearingObject,s__ContentBearingPhysical)

Merge.kif 1355-1355
s__subclass(s__ContentBearingProcess,s__ContentBearingPhysical)

Merge.kif 1342-1342
s__instance(s__Icon,s__SetOrClass)

Merge.kif 1400-1400
s__subclass(s__LinguisticExpression,s__ContentBearingPhysical)

Merge.kif 1417-1417
s__instance(s__VisualContentBearingPhysical,s__SetOrClass)

Mid-level-ontology.kif 24113-24113
s__termFormat(s__EnglishLanguage,s__ContentBearingPhysical,'content bearing physical')

domainEnglishFormat.kif 3245-3245

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


s__domain(s__actedIn__m,2,s__ContentBearingPhysical)

Mid-level-ontology.kif 18345-18345
s__domain(s__containsFormula__m,1,s__ContentBearingPhysical)

Law.kif 21-21
s__domain(s__containsInformation__m,1,s__ContentBearingPhysical)

Merge.kif 1389-1389
s__domain(s__equivalentContentInstance__m,1,s__ContentBearingPhysical)

Merge.kif 4672-4672
s__domain(s__equivalentContentInstance__m,2,s__ContentBearingPhysical)

Merge.kif 4673-4673
s__domain(s__experimentUpdate__m,1,s__ContentBearingPhysical)

UXExperimentalTerms.kif 2878-2878
s__domain(s__finalExperimentReport__m,1,s__ContentBearingPhysical)

UXExperimentalTerms.kif 2899-2899
s__domain(s__recordForAgreement__m,1,s__ContentBearingPhysical)

Law.kif 545-545
s__domain(s__subsumesContentInstance__m,1,s__ContentBearingPhysical)

Merge.kif 4697-4697
s__domain(s__subsumesContentInstance__m,2,s__ContentBearingPhysical)

Merge.kif 4698-4698
s__domainSubclass(s__abbreviatedDisplayTitle__m,2,s__ContentBearingPhysical)

Media.kif 3070-3070
s__domainSubclass(s__alternativeTitle__m,2,s__ContentBearingPhysical)

Media.kif 3038-3038
s__domainSubclass(s__displayTitle__m,2,s__ContentBearingPhysical)

Media.kif 3059-3059
s__domainSubclass(s__equivalentContentClass__m,1,s__ContentBearingPhysical)

Merge.kif 4611-4611
s__domainSubclass(s__equivalentContentClass__m,2,s__ContentBearingPhysical)

Merge.kif 4612-4612
s__domainSubclass(s__groupingTitle__m,2,s__ContentBearingPhysical)

Media.kif 3109-3109
s__domainSubclass(s__misspelledTitle__m,2,s__ContentBearingPhysical)

Media.kif 3131-3131
s__domainSubclass(s__originalTitle__m,2,s__ContentBearingPhysical)

Media.kif 3099-3099
s__domainSubclass(s__referenceTitle__m,2,s__ContentBearingPhysical)

Media.kif 3088-3088
s__domainSubclass(s__sortingTitle__m,2,s__ContentBearingPhysical)

Media.kif 3048-3048
s__domainSubclass(s__subsumesContentClass__m,1,s__ContentBearingPhysical)

Merge.kif 4636-4636
s__domainSubclass(s__subsumesContentClass__m,2,s__ContentBearingPhysical)

Merge.kif 4637-4637
s__domainSubclass(s__subtitle__m,2,s__ContentBearingPhysical)

Media.kif 3141-3141
s__domainSubclass(s__titleInLanguage__m,2,s__ContentBearingPhysical)

Media.kif 3020-3020
s__domainSubclass(s__titles__m,2,s__ContentBearingPhysical)

Mid-level-ontology.kif 12452-12452

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 1337-1340

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


( ! [V__STRING,V__PRODUCTTYPE,V__LANGUAGE,V__PRODUCT,V__OBJ] :
   ((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 3122-3127
( ! [V__PLAN,V__PROC,V__PLANNNG] :
   ((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__PLANNNG,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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners