Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Insect
Insect

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 13514-13515
(externalImage Insect "http://upload.wikimedia.org/wikipedia/commons/a/a3/ Chorthippus_biguttulus_f_8835.jpg") pictureList.kif 4737-4737
(subclass Insect Arthropod) Merge.kif 13513-13513

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


(biologicalAgentCarrier DengueFeverVirus Insect) WMD.kif 1504-1504
(biologicalAgentCarrier EasternEquineEncephalitisVirus Insect) WMD.kif 1555-1555
(biologicalAgentCarrier JapaneseEncephalitisVirus Insect) WMD.kif 1569-1569
(biologicalAgentCarrier LaCrosseVirus Insect) WMD.kif 1525-1525
(biologicalAgentCarrier MalarialPlasmodium Insect) WMD.kif 1481-1481
(biologicalAgentCarrier SaintLouisEncephalitisVirus Insect) WMD.kif 1540-1540
(biologicalAgentCarrier WestNileVirus Insect) WMD.kif 1492-1492
(biologicalAgentCarrier YersiniaPestis Insect) WMD.kif 403-403
(subclass AntInsect Insect) Mid-level-ontology.kif 10299-10299
(subclass Bee Insect) Mid-level-ontology.kif 10306-10306
(subclass Butterfly Insect) Food.kif 483-483
(subclass FlyInsect Insect) Mid-level-ontology.kif 10313-10313
(subclass Grasshopper Insect) Mid-level-ontology.kif 10316-10316
(subclass Moth Insect) Mid-level-ontology.kif 10320-10320
(subclass QueenInsect Insect) Mid-level-ontology.kif 10323-10323
(subclass WorkerInsect Insect) Mid-level-ontology.kif 10348-10348
(termFormat ChineseLanguage Insect "昆虫") chinese_format.kif 983-983
(termFormat EnglishLanguage Insect "insect") english_format.kif 1178-1178

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


(disjointDecomposition Arthropod Arachnid Myriapod Insect Crustacean) Merge.kif 13501-13501

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


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