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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subsumesContentClass
subsumesContentClass

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2181-2187
No TPTP formula. May not be expressible in strict first order. Merge.kif 4523-4534
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 842-849
No TPTP formula. May not be expressible in strict first order. Merge.kif 4520-4520 O argumento numero 1 de subsumesContentClass e' uma sub-classe de ContentBearingPhysical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4521-4521 O argumento numero 2 de subsumesContentClass e' uma sub-classe de ContentBearingPhysical
No TPTP formula. May not be expressible in strict first order. Merge.kif 4518-4518 subsumesContentClass e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 4519-4519 subsumesContentClass e' uma instancia de Relacao parcialmente Ordenada

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 239-239
No TPTP formula. May not be expressible in strict first order. english_format.kif 240-240
No TPTP formula. May not be expressible in strict first order. french_format.kif 137-137
No TPTP formula. May not be expressible in strict first order. relations-it.txt 282-282
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1968-1968
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 89-89
No TPTP formula. May not be expressible in strict first order. relations-de.txt 308-308
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 319-319
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 156-156
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 142-142
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 474-474
No TPTP formula. May not be expressible in strict first order. Merge.kif 4579-4579 subsumesContentInstance e' relacionado internamente por SUMO a subsumesContentClass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 240-240
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55819-55819
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55818-55818
No TPTP formula. May not be expressible in strict first order. terms-de.txt 99-99

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4506-4510
No TPTP formula. May not be expressible in strict first order. Merge.kif 4536-4546

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15580-15582
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14696-14698
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14667-14669
No TPTP formula. May not be expressible in strict first order. Merge.kif 4512-4516

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7892-7892 ChristianBible subsume o conteudo de NewTestament
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7893-7893 ChristianBible subsume o conteudo de OldTestament
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7907-7907 NewTestament subsume o conteudo de ChristianGospel


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