Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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
-------------------------


(subclass Insect Arthropod) Merge.kif 14712-14712 Insect is a subclass of arthropod
(documentation Insect EnglishLanguage "A Class of small Arthropods that are air-breathing and that are distinguished by appearance.") Merge.kif 14713-14714 Insect is a subclass of arthropod
(externalImage Insect "http://upload.wikimedia.org/wikipedia/commons/a/a3/ Chorthippus_biguttulus_f_8835.jpg") pictureList.kif 4735-4735 Insect is a subclass of arthropod

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


(subclass AntInsect Insect) Mid-level-ontology.kif 14045-14045 Ant insect is a subclass of insect
(subclass Bee Insect) Mid-level-ontology.kif 14052-14052 Bee is a subclass of insect
(subclass Caterpillar Insect) Mid-level-ontology.kif 14059-14059 Caterpillar is a subclass of insect
(subclass FlyInsect Insect) Mid-level-ontology.kif 14090-14090 Fly insect is a subclass of insect
(subclass Grasshopper Insect) Mid-level-ontology.kif 14093-14093 Grasshopper is a subclass of insect
(subclass Moth Insect) Mid-level-ontology.kif 14097-14097 Moth is a subclass of insect
(subclass Mosquito Insect) Mid-level-ontology.kif 14100-14100 Mosquito is a subclass of insect
(subclass QueenInsect Insect) Mid-level-ontology.kif 14106-14106 Queen insect is a subclass of insect
(subclass WorkerInsect Insect) Mid-level-ontology.kif 14131-14131 Worker insect is a subclass of insect
(subclass Butterfly Insect) Food.kif 2407-2407 Butterfly is a subclass of insect
(biologicalAgentCarrier YersiniaPestis Insect) WMD.kif 408-408 Insect is a biological agent carrier of yersinia pestis
(subclass Louse Insect) WMD.kif 1973-1973 Lice is a subclass of insect
(termFormat EnglishLanguage Insect "insect") english_format.kif 1173-1173 Lice is a subclass of insect

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


(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) Merge.kif 14700-14700 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 6347-6356 If X is an instance of silk, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of making (3) X is a result of Y (4) Z is a resource for Y (5) Z is a part of W (6) W is an instance of insect (7) larval is an attribute of W


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