Insect - Sigma Knowledge base Browser

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

appearance as argument number 2

(biologicalAgentCarrier YersiniaPestis Insect)	WMD.kif 408-408	Insect is a biological agent carrier of yersinia pestis
(subclass AntInsect Insect)	Mid-level-ontology.kif 12799-12799	Ant insect is a subclass of insect
(subclass Bee Insect)	Mid-level-ontology.kif 12806-12806	Bee is a subclass of insect
(subclass Butterfly Insect)	Food.kif 2400-2400	Butterfly is a subclass of insect
(subclass Caterpillar Insect)	Mid-level-ontology.kif 12813-12813	Caterpillar is a subclass of insect
(subclass FlyInsect Insect)	Mid-level-ontology.kif 12844-12844	Fly insect is a subclass of insect
(subclass Grasshopper Insect)	Mid-level-ontology.kif 12847-12847	Grasshopper is a subclass of insect
(subclass Louse Insect)	WMD.kif 1973-1973	Lice is a subclass of insect
(subclass Mosquito Insect)	Mid-level-ontology.kif 12854-12854	Mosquito is a subclass of insect
(subclass Moth Insect)	Mid-level-ontology.kif 12851-12851	Moth is a subclass of insect
(subclass QueenInsect Insect)	Mid-level-ontology.kif 12860-12860	Queen insect is a subclass of insect
(subclass WorkerInsect Insect)	Mid-level-ontology.kif 12885-12885	Worker insect is a subclass of insect
(termFormat ChineseLanguage Insect "昆虫")	chinese_format.kif 983-983	Worker insect is a subclass of insect
(termFormat EnglishLanguage Insect "insect")	english_format.kif 1173-1173	Worker insect is a subclass of insect
(termFormat FrenchLanguage Insect "insecte")	french_format.kif 660-660	Worker insect is a subclass of insect
(termFormat Hindi Insect "kIta")	terms-hindi.txt 191-191	Worker insect is a subclass of insect
(termFormat ItalianLanguage Insect "Insetto")	terms-it.txt 194-194	Worker insect is a subclass of insect
(termFormat JapaneseLanguage Insect "昆虫")	japanese_format.kif 2344-2344	Worker insect is a subclass of insect
(termFormat PortugueseLanguage Insect "Inseto")	portuguese_format.kif 612-612	Worker insect is a subclass of insect
(termFormat cb Insect "mananap")	terms-cb.txt 196-196	Worker insect is a subclass of insect
(termFormat cz Insect "insect")	terms-cz.txt 228-228	Worker insect is a subclass of insect
(termFormat ro Insect "insectã")	relations-ro.kif 681-681	Worker insect is a subclass of insect
(termFormat tg Insect "insekto")	terms-tg.txt 195-195	Worker insect is a subclass of insect

appearance as argument number 4

(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean)

Merge.kif 14571-14571

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

If an entity is an instance of silk,
then there exist a process, an object and another object such that the process is an instance of making and the entity is a result of the process and the object is a resource for the process and the object is a part of the other object and the other object is an instance of insect and larval is an attribute of the other object

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

KB Term:			Term intersection

English Word: