TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Honey AnimalSubstance)	Mid-level-ontology.kif 23905-23905	Honey is a subclass of animal substance
(subclass Honey (FoodForFn Animal))	Mid-level-ontology.kif 23906-23906	Honey is a subclass of food for animal
(documentation Honey EnglishLanguage "An edible, sweet Substance produced by some species of Bees.")	Mid-level-ontology.kif 23907-23908	Honey is a subclass of food for animal
(subclass Honey AnimalAgriculturalArtifact)	Society.kif 1060-1060	Honey is a subclass of AnimalAgriculturalArtifact
(externalImage Honey "http://upload.wikimedia.org/wikipedia/commons/c/cc/ Runny_hunny.jpg")	pictureList.kif 860-860	Honey is a subclass of AnimalAgriculturalArtifact
(externalImage Honey "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ cc/ Runny_hunny.jpg/ 395px_Runny_hunny.jpg")	pictureList.kif 930-930	Honey is a subclass of AnimalAgriculturalArtifact

appearance as argument number 2

(termFormat EnglishLanguage Honey "honey")	domainEnglishFormat.kif 28517-28517
(termFormat ChineseTraditionalLanguage Honey "蜜糖")	domainEnglishFormat.kif 28518-28518
(termFormat ChineseLanguage Honey "蜜糖")	domainEnglishFormat.kif 28519-28519

antecedent

(=>
    (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