Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 14849-14849 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 14850-14851 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 14196-14196 Ant insect is a subclass of insect
(subclass Bee Insect) Mid-level-ontology.kif 14203-14203 Bee is a subclass of insect
(subclass Caterpillar Insect) Mid-level-ontology.kif 14210-14210 Caterpillar is a subclass of insect
(subclass Butterfly Insect) Mid-level-ontology.kif 14221-14221 Butterfly is a subclass of insect
(subclass FlyInsect Insect) Mid-level-ontology.kif 14243-14243 Fly insect is a subclass of insect
(subclass Grasshopper Insect) Mid-level-ontology.kif 14246-14246 Grasshopper is a subclass of insect
(subclass Moth Insect) Mid-level-ontology.kif 14250-14250 Moth is a subclass of insect
(subclass Mosquito Insect) Mid-level-ontology.kif 14253-14253 Mosquito is a subclass of insect
(subclass QueenInsect Insect) Mid-level-ontology.kif 14259-14259 Queen insect is a subclass of insect
(subclass WorkerInsect Insect) Mid-level-ontology.kif 14284-14284 Worker insect is a subclass of insect
(biologicalAgentCarrier YersiniaPestis Insect) WMD.kif 403-403 Insect is a biological agent carrier of yersinia pestis
(subclass Louse Insect) WMD.kif 1969-1969 Lice is a subclass of insect
(termFormat EnglishLanguage Insect "insect") english_format.kif 1177-1177 Lice is a subclass of insect

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


(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) Merge.kif 14837-14837 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 6510-6519 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners