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

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


(biologicalAgentCarrier YersiniaPestis Insect) WMD.kif 408-408
(subclass AntInsect Insect) Mid-level-ontology.kif 12608-12608
(subclass Bee Insect) Mid-level-ontology.kif 12615-12615
(subclass Butterfly Insect) Food.kif 2400-2400
(subclass Caterpillar Insect) Mid-level-ontology.kif 12622-12622
(subclass FlyInsect Insect) Mid-level-ontology.kif 12653-12653
(subclass Grasshopper Insect) Mid-level-ontology.kif 12656-12656
(subclass Louse Insect) WMD.kif 1973-1973
(subclass Mosquito Insect) Mid-level-ontology.kif 12663-12663
(subclass Moth Insect) Mid-level-ontology.kif 12660-12660
(subclass QueenInsect Insect) Mid-level-ontology.kif 12669-12669
(subclass WorkerInsect Insect) Mid-level-ontology.kif 12694-12694
(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 14571-14571

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 5385-5394


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