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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Insect

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

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


(biologicalAgentCarrier YersiniaPestis Insect) WMD.kif 408-408
(subclass AntInsect Insect) Mid-level-ontology.kif 12062-12062
(subclass Bee Insect) Mid-level-ontology.kif 12069-12069
(subclass Butterfly Insect) Food.kif 465-465
(subclass Caterpillar Insect) Mid-level-ontology.kif 12076-12076
(subclass FlyInsect Insect) Mid-level-ontology.kif 12091-12091
(subclass Grasshopper Insect) Mid-level-ontology.kif 12094-12094
(subclass Louse Insect) WMD.kif 1964-1964
(subclass Mosquito Insect) Mid-level-ontology.kif 12101-12101
(subclass Moth Insect) Mid-level-ontology.kif 12098-12098
(subclass QueenInsect Insect) Mid-level-ontology.kif 12107-12107
(subclass WorkerInsect Insect) Mid-level-ontology.kif 12132-12132
(termFormat ChineseLanguage Insect "昆虫") chinese_format.kif 983-983
(termFormat EnglishLanguage Insect "insect") english_format.kif 1173-1173

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


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

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 5087-5096


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 is open source software produced by Articulate Software and its partners