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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Myriapod

 Sigma KEE - Myriapod
Myriapod(多足动物)

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 多足动物 是 节肢动物 的 subclass

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 节肢动物 分拆成不相交的 蛛形䋞动物, 多足动物, 昆虫, 和 甲壳类动物


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