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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Insect

appearance as argument number 1

(documentation Insect ChineseLanguage "这是需要呼吸空气的小 Arthropod Class,可以通过它们的 外形把它们从其他几节动物分辨出来。") chinese_format.kif 3408-3409
(documentation Insect EnglishLanguage "A Class of small Arthropods that are air-breathing and that are distinguished by appearance.") Merge.kif 14538-14539
(externalImage Insect " Chorthippus_biguttulus_f_8835.jpg") pictureList.kif 4736-4736
(subclass Insect Arthropod) Merge.kif 14537-14537 昆虫节肢动物subclass

appearance as argument number 2

(biologicalAgentCarrier YersiniaPestis Insect) WMD.kif 408-408 昆虫鼠疫耶尔森氏菌 的病毒传递者
(subclass AntInsect Insect) Mid-level-ontology.kif 12581-12581 蚂蚁昆虫昆虫subclass
(subclass Bee Insect) Mid-level-ontology.kif 12588-12588 蜜蜂昆虫subclass
(subclass Butterfly Insect) Food.kif 2400-2400 Butterfly昆虫subclass
(subclass Caterpillar Insect) Mid-level-ontology.kif 12595-12595 Caterpillar昆虫subclass
(subclass FlyInsect Insect) Mid-level-ontology.kif 12626-12626 飞虫昆虫subclass
(subclass Grasshopper Insect) Mid-level-ontology.kif 12629-12629 蚱蜢昆虫subclass
(subclass Louse Insect) WMD.kif 1973-1973 Louse昆虫subclass
(subclass Mosquito Insect) Mid-level-ontology.kif 12636-12636 Mosquito昆虫subclass
(subclass Moth Insect) Mid-level-ontology.kif 12633-12633 昆虫subclass
(subclass QueenInsect Insect) Mid-level-ontology.kif 12642-12642 女王昆虫昆虫subclass
(subclass WorkerInsect Insect) Mid-level-ontology.kif 12667-12667 工人昆虫昆虫subclass
(termFormat ChineseLanguage Insect "昆虫") chinese_format.kif 983-983
(termFormat EnglishLanguage Insect "insect") english_format.kif 1173-1173
(termFormat FrenchLanguage Insect "insecte") french_format.kif 660-660
(termFormat Hindi Insect "kIta") terms-hindi.txt 191-191
(termFormat ItalianLanguage Insect "Insetto") terms-it.txt 194-194
(termFormat JapaneseLanguage Insect "昆虫") japanese_format.kif 2344-2344
(termFormat PortugueseLanguage Insect "Inseto") portuguese_format.kif 612-612
(termFormat cb Insect "mananap") terms-cb.txt 196-196
(termFormat cz Insect "insect") terms-cz.txt 228-228
(termFormat ro Insect "insectã") relations-ro.kif 681-681
(termFormat tg Insect "insekto") terms-tg.txt 195-195

appearance as argument number 4

(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) Merge.kif 14525-14525 节肢动物 分拆成不相交的 蛛形䋞动物, 多足动物, 昆虫, 和 甲壳类动物


    (instance ?S Silk)
    (exists (?M ?T ?I)
            (instance ?M Making)
            (result ?M ?S)
            (resource ?M ?T)
            (part ?T ?I)
            (instance ?I Insect)
            (attribute ?I Larval))))
Mid-level-ontology.kif 5391-5400

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