Bee - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Bee Insect)	Mid-level-ontology.kif 14203-14203	Bee is a subclass of insect
(documentation Bee EnglishLanguage "A hairy Insect, some species of which produce honey and/ or sting.")	Mid-level-ontology.kif 14204-14205	Bee is a subclass of insect
(externalImage Bee "http://upload.wikimedia.org/wikipedia/commons/5/51/Apis_mellifera_bi.jpg")	pictureList.kif 38-38	Bee is a subclass of insect
(externalImage Bee "http://articulatesoftware.com/SUMOpictures/animals/bugs/ bee/ bee.png")	pictureList.kif 267-267	Bee is a subclass of insect

appearance as argument number 2

(subclass BumbleBee Bee)	Mid-level-ontology.kif 14207-14207	Bumble bee is a subclass of bee
(termFormat EnglishLanguage Bee "bee")	domainEnglishFormat.kif 10479-10479	Bumble bee is a subclass of bee
(termFormat ChineseTraditionalLanguage Bee "蜜蜂")	domainEnglishFormat.kif 10480-10480	Bumble bee is a subclass of bee
(termFormat ChineseLanguage Bee "蜜蜂")	domainEnglishFormat.kif 10481-10481	Bumble bee is a subclass of bee

consequent

(=>
    (instance ?H Honey)
    (exists (?P ?B)
        (and
            (instance ?P PhysiologicProcess)
            (agent ?P ?B)
            (instance ?B Bee)
            (result ?P ?H))))

If X is an instance of honey, then there exist Y, Z such that Y is an instance of physiologic process, Z is an agent of Y, Z is an instance of bee, and X is a result of Y