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, content_bearing_physical, radiophoto, radiophotograph

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1329-1330
No TPTP formula. May not be expressible in strict first order. Merge.kif 1325-1328
No TPTP formula. May not be expressible in strict first order. Merge.kif 1324-1324 Content bearing physical is a subclass of physical

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1227-1227 Brand is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1350-1350 Content bearing object is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1337-1337 Content bearing process is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1395-1395 Icon is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1411-1411 Linguistic expression is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23752-23752 VisualContentBearingPhysical is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3245-3245 "content bearing physical" is the printable form of content bearing physical in english language

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


No TPTP formula. May not be expressible in strict first order. Law.kif 21-21 The number 1 argument of contains formula is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1384-1384 The number 1 argument of contains information is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4654-4654 The number 1 argument of equivalent content instance is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4655-4655 The number 2 argument of equivalent content instance is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2879-2879 The number 1 argument of live experiment update is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2900-2900 The number 1 argument of final experiment report is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order. Law.kif 545-545 The number 1 argument of recordForAgreement is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4679-4679 The number 1 argument of subsumes content instance is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4680-4680 The number 2 argument of subsumes content instance is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order. Media.kif 3070-3070 The number 2 argument of abbreviatedDisplayTitle is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Media.kif 3038-3038 The number 2 argument of alternativeTitle is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Media.kif 3059-3059 The number 2 argument of displayTitle is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4593-4593 The number 1 argument of equivalent content class is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4594-4594 The number 2 argument of equivalent content class is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Media.kif 3109-3109 The number 2 argument of groupingTitle is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Media.kif 3131-3131 The number 2 argument of misspelledTitle is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Media.kif 3099-3099 The number 2 argument of originalTitle is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Media.kif 3088-3088 The number 2 argument of referenceTitle is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Media.kif 3048-3048 The number 2 argument of sortingTitle is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4618-4618 The number 1 argument of subsumes content class is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4619-4619 The number 2 argument of subsumes content class is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Media.kif 3141-3141 The number 2 argument of subtitle is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Media.kif 3020-3020 The number 2 argument of titleInLanguage is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12192-12192 The number 2 argument of titles is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Media.kif 3166-3166 The number 2 argument of translatedTitle is a subclass of content bearing physical

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1332-1335

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3122-3127
No TPTP formula. May not be expressible in strict first order. 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