Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Human

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners