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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Myriapod
Myriapod(myriapod)
Chilopoda, Diplopoda, Geophilidae, Geophilomorpha, Geophilus, Myriapoda, Pauropoda, Scutigera, Scutigera_coleoptrata, Scutigerella, Scutigerella_immaculata, Scutigeridae, Symphyla, Tardigrada, ammonitic, centipede, class_Chilopoda, class_Diplopoda, class_Myriapoda, class_Pauropoda, class_Symphyla, class_Tardigrada, family_Geophilidae, family_Scutigeridae, garden_centipede, garden_symphilid, genus_Geophilus, genus_Scutigera, genus_Scutigerella, house_centipede, millepede, milliped, millipede, myriapod, order_Geophilomorpha, superclass_Myriapoda, symphilid, tardigrade

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 14534-14535
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 14533-14533 Myriapod is a subclass of arthropod

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 14525-14525 Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean


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