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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Insect
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 14560-14561
(externalImage Insect "http://upload.wikimedia.org/wikipedia/commons/a/a3/ Chorthippus_biguttulus_f_8835.jpg") pictureList.kif 4736-4736
(subclass Insect Arthropod) Merge.kif 14559-14559

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


(biologicalAgentCarrier YersiniaPestis Insect) WMD.kif 408-408
(subclass AntInsect Insect) Mid-level-ontology.kif 12580-12580
(subclass Bee Insect) Mid-level-ontology.kif 12587-12587
(subclass Butterfly Insect) Food.kif 2400-2400
(subclass Caterpillar Insect) Mid-level-ontology.kif 12594-12594
(subclass FlyInsect Insect) Mid-level-ontology.kif 12625-12625
(subclass Grasshopper Insect) Mid-level-ontology.kif 12628-12628
(subclass Louse Insect) WMD.kif 1973-1973
(subclass Mosquito Insect) Mid-level-ontology.kif 12635-12635
(subclass Moth Insect) Mid-level-ontology.kif 12632-12632
(subclass QueenInsect Insect) Mid-level-ontology.kif 12641-12641
(subclass WorkerInsect Insect) Mid-level-ontology.kif 12666-12666
(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 14547-14547

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


(=>
    (instance ?S Silk)
    (exists (?M ?T ?I)
        (and
            (instance ?M Making)
            (result ?M ?S)
            (resource ?M ?T)
            (part ?T ?I)
            (instance ?I Insect)
            (attribute ?I Larval))))
Mid-level-ontology.kif 5390-5399


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