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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Insect
Insect(insect)
Acanthoscelides, Acanthoscelides_obtectus, Acherontia, Acherontia_atropos, Acheta, Acheta_assimilis, Acheta_domestica, Acrididae, Actias, Actias_luna, Adalia, Adalia_bipunctata, Adelges, Adelges_abietis, Adelges_piceae, Adelgidae, Aedes, Aedes_aegypti, Aedes_albopictus, Aleyrodes, Aleyrodidae, Alsophila, Alsophila_pometaria, Amazon_ant, American_blight, American_cockroach, Amphibolips, Anabrus, Anabrus_simplex, Anagasta, Anagasta_kuehniella, Anasa, Anasa_tristis, Andricus, Anisoptera, Anobiidae, Anomala, Anomala_orientalis, Anopheles, Anoplophora_glabripennis, Antheraea, Antheraea_mylitta, Antheraea_pernyi, Antheraea_polyphemus, Anthonomus, Anthonomus_grandis, Anthrenus_scrophulariae, Aphididae, Aphidoidea, Aphis...

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 Insect is a subclass of arthropod

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


(biologicalAgentCarrier YersiniaPestis Insect) WMD.kif 408-408 Insect is a biological agent carrier of yersinia pestis
(subclass AntInsect Insect) Mid-level-ontology.kif 12581-12581 Ant insect is a subclass of insect
(subclass Bee Insect) Mid-level-ontology.kif 12588-12588 Bee is a subclass of insect
(subclass Butterfly Insect) Food.kif 2400-2400 Butterfly is a subclass of insect
(subclass Caterpillar Insect) Mid-level-ontology.kif 12595-12595 Caterpillar is a subclass of insect
(subclass FlyInsect Insect) Mid-level-ontology.kif 12626-12626 Fly insect is a subclass of insect
(subclass Grasshopper Insect) Mid-level-ontology.kif 12629-12629 Grasshopper is a subclass of insect
(subclass Louse Insect) WMD.kif 1973-1973 Lice is a subclass of insect
(subclass Mosquito Insect) Mid-level-ontology.kif 12636-12636 Mosquito is a subclass of insect
(subclass Moth Insect) Mid-level-ontology.kif 12633-12633 Moth is a subclass of insect
(subclass QueenInsect Insect) Mid-level-ontology.kif 12642-12642 Queen insect is a subclass of insect
(subclass WorkerInsect Insect) Mid-level-ontology.kif 12667-12667 Worker insect is a subclass of insect
(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 Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean

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