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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subsumesContentInstance
subsumesContentInstance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2193-2197
No TPTP formula. May not be expressible in strict first order. Merge.kif 4581-4588
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 856-861
No TPTP formula. May not be expressible in strict first order. Merge.kif 4577-4577 O argumento numero 1 de subsumesContentInstance e' uma instancia de ContentBearingPhysical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4578-4578 O argumento numero 2 de subsumesContentInstance e' uma instancia de ContentBearingPhysical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4575-4575 subsumesContentInstance e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 4576-4576 subsumesContentInstance e' uma instancia de Relacao parcialmente Ordenada
No TPTP formula. May not be expressible in strict first order. Merge.kif 4579-4579 subsumesContentInstance e' relacionado internamente por SUMO a subsumesContentClass

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 241-241
No TPTP formula. May not be expressible in strict first order. english_format.kif 242-242
No TPTP formula. May not be expressible in strict first order. french_format.kif 138-138
No TPTP formula. May not be expressible in strict first order. relations-it.txt 283-283
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1969-1969
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 90-90
No TPTP formula. May not be expressible in strict first order. relations-de.txt 311-311
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 320-320
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 157-157
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 143-143
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 475-475
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 242-242
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55825-55825
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55824-55824
No TPTP formula. May not be expressible in strict first order. terms-de.txt 100-100

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14709-14718
No TPTP formula. May not be expressible in strict first order. Merge.kif 15446-15453
No TPTP formula. May not be expressible in strict first order. Merge.kif 4590-4594
No TPTP formula. May not be expressible in strict first order. Merge.kif 4563-4567

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14709-14718
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1097-1104
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1157-1166
No TPTP formula. May not be expressible in strict first order. Merge.kif 15477-15486
No TPTP formula. May not be expressible in strict first order. Merge.kif 4569-4573
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14725-14730
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29710-29718
No TPTP formula. May not be expressible in strict first order. Media.kif 1534-1540
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29761-29773
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14809-14814
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14603-14608
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14677-14685
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14579-14584
No TPTP formula. May not be expressible in strict first order. Merge.kif 15636-15641
No TPTP formula. May not be expressible in strict first order. Merge.kif 4646-4653

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2367-2367 ImmigrationAndNationalityAct-US subsume o conteudo de ImmigrationAndNationalityAct-Section219-US


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