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 10427-10427
(termFormat ChineseTraditionalLanguage Bee "蜜蜂") domainEnglishFormat.kif 10426-10426
(termFormat EnglishLanguage Bee "bee") domainEnglishFormat.kif 10425-10425

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