Omnivore - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Omnivore EnglishLanguage "An organism that eats both plants and animals.")	Mid-level-ontology.kif 22290-22290
(subclass Omnivore Organism)	Mid-level-ontology.kif 22292-22292	Omnivore is a subclass of organism

appearance as argument number 2

(termFormat EnglishLanguage Omnivore "omnivore")

antecedent

(=>
    (and
        (instance ?A Omnivore)
        (agent ?E ?A)
        (instance ?E Eating)
        (patient ?E ?F))
    (or
        (instance ?F Plant)
        (instance ?F Animal)
        (instance ?F Fungus)))

If X is an instance of omnivore, X is an agent of Y, Y is an instance of eating, and Z is a patient of Y, then At least one of the following holds: (1) Z is an instance of plant (2) Z is an instance of animal (3) Z is an instance of fungus