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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Myriapod
Myriapod(Miriapode)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3407-3407
No TPTP formula. May not be expressible in strict first order. Merge.kif 14580-14581
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4786-4786
No TPTP formula. May not be expressible in strict first order. Merge.kif 14579-14579 Miriapode e' uma sub-classe de Artropode

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 982-982
No TPTP formula. May not be expressible in strict first order. english_format.kif 1171-1171
No TPTP formula. May not be expressible in strict first order. french_format.kif 659-659
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 190-190
No TPTP formula. May not be expressible in strict first order. terms-it.txt 193-193
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2343-2343
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 611-611
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 227-227
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 680-680
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 194-194

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14571-14571 Artropode e' disjuntamente decomponivel em Aracnideo, Miriapode, Inseto, + Crustaceo


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