Herbivore - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Herbivore Organism)	Mid-level-ontology.kif 22277-22277	Herbivore is a subclass of organism
(disjoint Herbivore Carnivore)	Mid-level-ontology.kif 22278-22278	Herbivore is disjoint from carnivore
(documentation Herbivore EnglishLanguage "A plant-eating Mammal.")	Mid-level-ontology.kif 22279-22279	Herbivore is disjoint from carnivore
(externalImage Herbivore "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9c/ Deer.jpg")	pictureList.kif 4721-4721	Herbivore is disjoint from carnivore

appearance as argument number 2

(subclass Elephant Herbivore)	Mid-level-ontology.kif 22382-22382	Elephant is a subclass of herbivore
(subclass Panda Herbivore)	Mid-level-ontology.kif 33146-33146	Panda is a subclass of herbivore
(termFormat EnglishLanguage Herbivore "herbivore")	domainEnglishFormat.kif 28001-28001	Panda is a subclass of herbivore
(termFormat ChineseTraditionalLanguage Herbivore "草食動物")	domainEnglishFormat.kif 28002-28002	Panda is a subclass of herbivore
(termFormat ChineseLanguage Herbivore "草食动物")	domainEnglishFormat.kif 28003-28003	Panda is a subclass of herbivore

antecedent

(=>
    (and
        (instance ?A Herbivore)
        (agent ?E ?A)
        (instance ?E Eating)
        (patient ?E ?F))
    (instance ?F Plant))

If X is an instance of herbivore, X is an agent of Y, Y is an instance of eating, and Z is a patient of Y, then Z is an instance of plant