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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Myriapod

 Sigma KEE - Myriapod
Myriapod(myriapode)

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 14556-14557
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 14555-14555 Myriapode est une sous-classe de arthropode

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 14547-14547 Arthropode est disjointement decompos� en arachnide, myriapode, insecte, + crustac�


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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