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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Insect

 Sigma KEE - Insect
Insect(昆虫)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3408-3409
No TPTP formula. May not be expressible in strict first order. Merge.kif 14560-14561
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4736-4736
No TPTP formula. May not be expressible in strict first order. Merge.kif 14559-14559 昆虫 是 节肢动物 的 subclass

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 408-408 昆虫 是 鼠疫耶尔森氏菌 的病毒传递者
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12580-12580 蚂蚁昆虫 是 昆虫 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12587-12587 蜜蜂 是 昆虫 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 2400-2400 Butterfly 是 昆虫 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12594-12594 Caterpillar 是 昆虫 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12625-12625 飞虫 是 昆虫 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12628-12628 蚱蜢 是 昆虫 的 subclass
No TPTP formula. May not be expressible in strict first order. WMD.kif 1973-1973 Louse 是 昆虫 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12635-12635 Mosquito 是 昆虫 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12632-12632 蛾 是 昆虫 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12641-12641 女王昆虫 是 昆虫 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12666-12666 工人昆虫 是 昆虫 的 subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 983-983
No TPTP formula. May not be expressible in strict first order. english_format.kif 1173-1173
No TPTP formula. May not be expressible in strict first order. french_format.kif 660-660
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 191-191
No TPTP formula. May not be expressible in strict first order. terms-it.txt 194-194
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2344-2344
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 612-612
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 196-196
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 228-228
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 681-681
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 195-195

appearance as argument number 4
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14547-14547 节肢动物 分拆成不相交的 蛛形䋞动物, 多足动物, 昆虫, 和 甲壳类动物

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5390-5399


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