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


s__documentation(s__Insect,s__ChineseLanguage,'"这是需要呼吸空气的小 Arthropod Class,可以通过它们的 外形把它们从其他几节动物分辨出来。"')

chinese_format.kif 3408-3409
s__documentation(s__Insect,s__EnglishLanguage,'"A Class of small Arthropods that are air-breathing and that are distinguished by appearance."')

Merge.kif 13844-13845
s__externalImage(s__Insect,'"http://upload.wikimedia.org/wikipedia/commons/a/a3/ Chorthippus_biguttulus_f_8835.jpg"')

pictureList.kif 4737-4737
s__instance(s__Arthropod,s__SetOrClass)

s__subclass(s__Insect,s__Arthropod)

s__instance(s__Insect,s__SetOrClass)

Merge.kif 13843-13843 Insect is a subclass of arthropod

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


s__biologicalAgentCarrier(s__DengueFeverVirus,s__Insect)

WMD.kif 1577-1577 Insect is a biological agent carrier of dengue fever virus
s__biologicalAgentCarrier(s__EasternEquineEncephalitisVirus,s__Insect)

WMD.kif 1628-1628 Insect is a biological agent carrier of eastern equine encephalitis virus
s__biologicalAgentCarrier(s__JapaneseEncephalitisVirus,s__Insect)

WMD.kif 1642-1642 Insect is a biological agent carrier of japanese encephalitis virus
s__biologicalAgentCarrier(s__LaCrosseVirus,s__Insect)

WMD.kif 1598-1598 Insect is a biological agent carrier of la crosse virus
s__biologicalAgentCarrier(s__MalarialPlasmodium,s__Insect)

WMD.kif 1554-1554 Insect is a biological agent carrier of malarial plasmodium
s__biologicalAgentCarrier(s__SaintLouisEncephalitisVirus,s__Insect)

WMD.kif 1613-1613 Insect is a biological agent carrier of saint louis encephalitis virus
s__biologicalAgentCarrier(s__WestNileVirus,s__Insect)

WMD.kif 1565-1565 Insect is a biological agent carrier of west nile virus
s__biologicalAgentCarrier(s__YersiniaPestis,s__Insect)

WMD.kif 403-403 Insect is a biological agent carrier of yersinia pestis
s__subclass(s__AntInsect,s__Insect)

s__instance(s__AntInsect,s__SetOrClass)

s__instance(s__Insect,s__SetOrClass)

Mid-level-ontology.kif 11459-11459 Ant insect is a subclass of insect
s__subclass(s__Bee,s__Insect)

s__instance(s__Insect,s__SetOrClass)

s__instance(s__Bee,s__SetOrClass)

Mid-level-ontology.kif 11466-11466 Bee is a subclass of insect
s__subclass(s__Butterfly,s__Insect)

s__instance(s__Butterfly,s__SetOrClass)

s__instance(s__Insect,s__SetOrClass)

Food.kif 483-483 Butterfly is a subclass of insect
s__subclass(s__Caterpillar,s__Insect)

s__instance(s__Insect,s__SetOrClass)

s__instance(s__Caterpillar,s__SetOrClass)

Mid-level-ontology.kif 11473-11473 Caterpillar is a subclass of insect
s__subclass(s__FlyInsect,s__Insect)

s__instance(s__FlyInsect,s__SetOrClass)

s__instance(s__Insect,s__SetOrClass)

Mid-level-ontology.kif 11488-11488 Fly insect is a subclass of insect
s__instance(s__Grasshopper,s__SetOrClass)

s__instance(s__Insect,s__SetOrClass)

s__subclass(s__Grasshopper,s__Insect)

Mid-level-ontology.kif 11491-11491 Grasshopper is a subclass of insect
s__subclass(s__Louse,s__Insect)

s__instance(s__Louse,s__SetOrClass)

s__instance(s__Insect,s__SetOrClass)

WMD.kif 1912-1912 Lice is a subclass of insect
s__subclass(s__Moth,s__Insect)

s__instance(s__Moth,s__SetOrClass)

s__instance(s__Insect,s__SetOrClass)

Mid-level-ontology.kif 11495-11495 Moth is a subclass of insect
s__instance(s__QueenInsect,s__SetOrClass)

s__subclass(s__QueenInsect,s__Insect)

s__instance(s__Insect,s__SetOrClass)

Mid-level-ontology.kif 11498-11498 Queen insect is a subclass of insect
s__subclass(s__WorkerInsect,s__Insect)

s__instance(s__Insect,s__SetOrClass)

s__instance(s__WorkerInsect,s__SetOrClass)

Mid-level-ontology.kif 11523-11523 Worker insect is a subclass of insect
s__termFormat(s__ChineseLanguage,s__Insect,'"昆虫"')

chinese_format.kif 983-983
s__termFormat(s__EnglishLanguage,s__Insect,'"insect"')

english_format.kif 1178-1178

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


s__disjointDecomposition__5(s__Arthropod,s__Arachnid,s__Myriapod,s__Insect,s__Crustacean)

Merge.kif 13831-13831 Arthropod is disjointly decomposed into arachnid, myriapod, insect, and crustacean

consequent
-------------------------


( ! [V__S] :
   ((s__instance(V__S,s__Silk) =>
       (( ? [V__M, V__T, V__I] :
           ((s__instance(V__T,s__Object) &
               (s__instance(V__M,s__Making) &
                 s__result(V__M,V__S)
               &
               s__resource(V__M,V__T)
             &
             s__part(V__T,V__I)
           &
           s__instance(V__I,s__Insect) &
           s__attribute(V__I,s__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