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


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

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


(biologicalAgentCarrier YersiniaPestis Insect) WMD.kif 408-408
(subclass AntInsect Insect) Mid-level-ontology.kif 12581-12581
(subclass Bee Insect) Mid-level-ontology.kif 12588-12588
(subclass Butterfly Insect) Food.kif 2400-2400
(subclass Caterpillar Insect) Mid-level-ontology.kif 12595-12595
(subclass FlyInsect Insect) Mid-level-ontology.kif 12626-12626
(subclass Grasshopper Insect) Mid-level-ontology.kif 12629-12629
(subclass Louse Insect) WMD.kif 1973-1973
(subclass Mosquito Insect) Mid-level-ontology.kif 12636-12636
(subclass Moth Insect) Mid-level-ontology.kif 12633-12633
(subclass QueenInsect Insect) Mid-level-ontology.kif 12642-12642
(subclass WorkerInsect Insect) Mid-level-ontology.kif 12667-12667
(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

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