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, Anoplura, Antheraea, Antheraea_mylitta, Antheraea_pernyi, Antheraea_polyphemus, Anthonomus, Anthonomus_grandis, Anthrenus_scrophulariae, Aphididae, Aphidoidea...

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

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


(biologicalAgentCarrier DengueFeverVirus Insect) WMD.kif 1504-1504 Insect is a biological agent carrier of dengue fever virus
(biologicalAgentCarrier EasternEquineEncephalitisVirus Insect) WMD.kif 1555-1555 Insect is a biological agent carrier of eastern equine encephalitis virus
(biologicalAgentCarrier JapaneseEncephalitisVirus Insect) WMD.kif 1569-1569 Insect is a biological agent carrier of japanese encephalitis virus
(biologicalAgentCarrier LaCrosseVirus Insect) WMD.kif 1525-1525 Insect is a biological agent carrier of la crosse virus
(biologicalAgentCarrier MalarialPlasmodium Insect) WMD.kif 1481-1481 Insect is a biological agent carrier of malarial plasmodium
(biologicalAgentCarrier SaintLouisEncephalitisVirus Insect) WMD.kif 1540-1540 Insect is a biological agent carrier of saint louis encephalitis virus
(biologicalAgentCarrier WestNileVirus Insect) WMD.kif 1492-1492 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 10299-10299 Ant insect is a subclass of insect
(subclass Bee Insect) Mid-level-ontology.kif 10306-10306 Bee is a subclass of insect
(subclass Butterfly Insect) Food.kif 483-483 Butterfly is a subclass of insect
(subclass FlyInsect Insect) Mid-level-ontology.kif 10313-10313 Fly insect is a subclass of insect
(subclass Grasshopper Insect) Mid-level-ontology.kif 10316-10316 Grasshopper is a subclass of insect
(subclass Moth Insect) Mid-level-ontology.kif 10320-10320 Moth is a subclass of insect
(subclass QueenInsect Insect) Mid-level-ontology.kif 10323-10323 Queen insect is a subclass of insect
(subclass WorkerInsect Insect) Mid-level-ontology.kif 10348-10348 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 13501-13501 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 5642-5651


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