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 14538-14539
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 14537-14537 子類 Insect and Arthropod

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 408-408 Insect 是 鼠疫耶爾森氏菌 的病毒傳遞者
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12581-12581 子類 螞蟻昆蟲 and Insect
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12588-12588 子類 蜜蜂 and Insect
No TPTP formula. May not be expressible in strict first order. Food.kif 2400-2400 子類 Butterfly and Insect
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12595-12595 子類 Caterpillar and Insect
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12626-12626 子類 飛蟲 and Insect
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12629-12629 子類 蚱蜢 and Insect
No TPTP formula. May not be expressible in strict first order. WMD.kif 1973-1973 子類 Louse and Insect
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12636-12636 子類 Mosquito and Insect
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12633-12633 子類 蛾 and Insect
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12642-12642 子類 女王崑蟲 and Insect
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12667-12667 子類 工人昆蟲 and Insect
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 14525-14525 不相交分解 Arthropod, Arachnid, Myriapod, Insect and Crustacean

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


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


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