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 13844-13845
(externalImage Insect "http://upload.wikimedia.org/wikipedia/commons/a/a3/ Chorthippus_biguttulus_f_8835.jpg") pictureList.kif 4737-4737
(subclass Insect Arthropod) Merge.kif 13843-13843 Insect is a subclass of arthropod

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


(biologicalAgentCarrier DengueFeverVirus Insect) WMD.kif 1577-1577 Insect is a biological agent carrier of dengue fever virus
(biologicalAgentCarrier EasternEquineEncephalitisVirus Insect) WMD.kif 1628-1628 Insect is a biological agent carrier of eastern equine encephalitis virus
(biologicalAgentCarrier JapaneseEncephalitisVirus Insect) WMD.kif 1642-1642 Insect is a biological agent carrier of japanese encephalitis virus
(biologicalAgentCarrier LaCrosseVirus Insect) WMD.kif 1598-1598 Insect is a biological agent carrier of la crosse virus
(biologicalAgentCarrier MalarialPlasmodium Insect) WMD.kif 1554-1554 Insect is a biological agent carrier of malarial plasmodium
(biologicalAgentCarrier SaintLouisEncephalitisVirus Insect) WMD.kif 1613-1613 Insect is a biological agent carrier of saint louis encephalitis virus
(biologicalAgentCarrier WestNileVirus Insect) WMD.kif 1565-1565 Insect is a biological agent carrier of west nile virus
(biologicalAgentCarrier YersiniaPestis Insect) WMD.kif 403-403 Insect is a biological agent carrier of yersinia pestis
(subclass AntInsect Insect) Mid-level-ontology.kif 11459-11459 Ant insect is a subclass of insect
(subclass Bee Insect) Mid-level-ontology.kif 11466-11466 Bee is a subclass of insect
(subclass Butterfly Insect) Food.kif 483-483 Butterfly is a subclass of insect
(subclass Caterpillar Insect) Mid-level-ontology.kif 11473-11473 Caterpillar is a subclass of insect
(subclass FlyInsect Insect) Mid-level-ontology.kif 11488-11488 Fly insect is a subclass of insect
(subclass Grasshopper Insect) Mid-level-ontology.kif 11491-11491 Grasshopper is a subclass of insect
(subclass Louse Insect) WMD.kif 1912-1912 Lice is a subclass of insect
(subclass Moth Insect) Mid-level-ontology.kif 11495-11495 Moth is a subclass of insect
(subclass QueenInsect Insect) Mid-level-ontology.kif 11498-11498 Queen insect is a subclass of insect
(subclass WorkerInsect Insect) Mid-level-ontology.kif 11523-11523 Worker insect is a subclass of insect
(termFormat ChineseLanguage Insect "昆虫") chinese_format.kif 983-983
(termFormat EnglishLanguage Insect "insect") english_format.kif 1178-1178

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


(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) Merge.kif 13831-13831 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 5058-5067


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