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 14293-14294
(externalImage Insect "http://upload.wikimedia.org/wikipedia/commons/a/a3/ Chorthippus_biguttulus_f_8835.jpg") pictureList.kif 4737-4737
(subclass Insect Arthropod) Merge.kif 14292-14292 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 12117-12117 Ant insect is a subclass of insect
(subclass Bee Insect) Mid-level-ontology.kif 12124-12124 Bee is a subclass of insect
(subclass Butterfly Insect) Food.kif 465-465 Butterfly is a subclass of insect
(subclass Caterpillar Insect) Mid-level-ontology.kif 12131-12131 Caterpillar is a subclass of insect
(subclass FlyInsect Insect) Mid-level-ontology.kif 12146-12146 Fly insect is a subclass of insect
(subclass Grasshopper Insect) Mid-level-ontology.kif 12149-12149 Grasshopper is a subclass of insect
(subclass Louse Insect) WMD.kif 1964-1964 Lice is a subclass of insect
(subclass Mosquito Insect) Mid-level-ontology.kif 12156-12156 Mosquito is a subclass of insect
(subclass Moth Insect) Mid-level-ontology.kif 12153-12153 Moth is a subclass of insect
(subclass QueenInsect Insect) Mid-level-ontology.kif 12162-12162 Queen insect is a subclass of insect
(subclass WorkerInsect Insect) Mid-level-ontology.kif 12187-12187 Worker insect is a subclass of insect
(termFormat ChineseLanguage Insect "昆虫") chinese_format.kif 983-983
(termFormat EnglishLanguage Insect "insect") english_format.kif 1173-1173

appearance as argument number 4
-------------------------


(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) Merge.kif 14280-14280 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 5106-5115


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