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

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


(biologicalAgentCarrier DengueFeverVirus Insect) WMD.kif 1537-1537
(biologicalAgentCarrier EasternEquineEncephalitisVirus Insect) WMD.kif 1588-1588
(biologicalAgentCarrier JapaneseEncephalitisVirus Insect) WMD.kif 1602-1602
(biologicalAgentCarrier LaCrosseVirus Insect) WMD.kif 1558-1558
(biologicalAgentCarrier MalarialPlasmodium Insect) WMD.kif 1514-1514
(biologicalAgentCarrier SaintLouisEncephalitisVirus Insect) WMD.kif 1573-1573
(biologicalAgentCarrier WestNileVirus Insect) WMD.kif 1525-1525
(biologicalAgentCarrier YersiniaPestis Insect) WMD.kif 403-403
(subclass AntInsect Insect) Mid-level-ontology.kif 9451-9451
(subclass Bee Insect) Mid-level-ontology.kif 9458-9458
(subclass Butterfly Insect) Food.kif 483-483
(subclass FlyInsect Insect) Mid-level-ontology.kif 9465-9465
(subclass Grasshopper Insect) Mid-level-ontology.kif 9468-9468
(subclass Moth Insect) Mid-level-ontology.kif 9472-9472
(subclass QueenInsect Insect) Mid-level-ontology.kif 9475-9475
(subclass WorkerInsect Insect) Mid-level-ontology.kif 9500-9500
(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 13516-13516

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 5043-5052


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