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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bee
Bee

appearance as argument number 1
-------------------------


(documentation Bee EnglishLanguage "A hairy Insect, some species of which produce honey and/ or sting.") Mid-level-ontology.kif 10307-10308
(externalImage Bee "http://upload.wikimedia.org/wikipedia/commons/5/51/Apis_mellifera_bi.jpg") pictureList.kif 38-38
(externalImage Bee "http://www.adampease.org/Articulate/SUMOpictures/pictures/ animals/ bugs/ bee/ bee.png") pictureList.kif 267-267
(subclass Bee Insect) Mid-level-ontology.kif 10306-10306

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


(subclass BumbleBee Bee) Mid-level-ontology.kif 10310-10310
(termFormat ChineseLanguage Bee "蜜蜂") domainEnglishFormat.kif 10493-10493
(termFormat ChineseTraditionalLanguage Bee "蜜蜂") domainEnglishFormat.kif 10492-10492
(termFormat EnglishLanguage Bee "bee") domainEnglishFormat.kif 10491-10491

consequent
-------------------------


(=>
    (instance ?H Honey)
    (exists (?P ?B)
        (and
            (instance ?P PhysiologicProcess)
            (agent ?P ?B)
            (instance ?B Bee)
            (result ?P ?H))))
Mid-level-ontology.kif 19438-19445


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