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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1637-1638
No TPTP formula. May not be expressible in strict first order. Merge.kif 1301-1304
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 220-222
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 261-264
No TPTP formula. May not be expressible in strict first order. Merge.kif 1299-1299 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 1288-1288 Brand is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1323-1323 Content bearing object is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1311-1311 Content bearing process is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1374-1374 Icon is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1392-1392 Linguistic expression is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1331-1331 Symbolic string is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28105-28105 Visual content bearing physical is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16953-16953 Visual content bearing physical is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16952-16952 Visual content bearing physical is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16951-16951 Visual content bearing physical is a subclass of content bearing physical

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22364-22364 The number 2 argument of acted in is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 1362-1362 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 1352-1352 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 4562-4562 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 4563-4563 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 2671-2671 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 2692-2692 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. Merge.kif 1494-1494 The number 1 argument of language is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order. Law.kif 507-507 The number 1 argument of record for agreement is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4589-4589 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 4590-4590 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 3139-3139 The number 2 argument of abbreviated display title is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Media.kif 3107-3107 The number 2 argument of alternative title is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Media.kif 3128-3128 The number 2 argument of display title is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4506-4506 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 4507-4507 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 3178-3178 The number 2 argument of grouping title is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Media.kif 3200-3200 The number 2 argument of misspelled title is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Media.kif 3168-3168 The number 2 argument of original title is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Media.kif 3157-3157 The number 2 argument of reference title is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Media.kif 3117-3117 The number 2 argument of sorting title is a subclass of content bearing physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4532-4532 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 4533-4533 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 3210-3210 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 3089-3089 The number 2 argument of title in language 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 12181-12197
No TPTP formula. May not be expressible in strict first order. Merge.kif 1306-1309

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3191-3196
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 3.0 is open source software produced by Articulate Software and its partners