Carnivore - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Carnivore Organism)	Merge.kif 14773-14773	Carnivore is a subclass of organism
(documentation Carnivore EnglishLanguage "The Class of flesh-eating Organisms. Members of this Class typically have four or five claws on each paw. Includes cats, dogs, bears, racoons, and skunks.")	Merge.kif 14774-14776	Carnivore is a subclass of organism
(externalImage Carnivore "http://upload.wikimedia.org/wikipedia/commons/ 3/ 30/ Male_Lion_and_Cub_Chitwa_South_Africa_Luca_Galuzzi_2004.JPG")	pictureList.kif 4583-4583	Carnivore is a subclass of organism

appearance as argument number 2

(subclass Canine Carnivore)	Merge.kif 14786-14786	Canine is a subclass of carnivore
(subclass Feline Carnivore)	Merge.kif 14791-14791	Feline is a subclass of carnivore
(disjoint Herbivore Carnivore)	Mid-level-ontology.kif 22334-22334	Herbivore is disjoint from carnivore
(subclass Badger Carnivore)	Mid-level-ontology.kif 22582-22582	Badger is a subclass of carnivore
(subclass Bear Carnivore)	Mid-level-ontology.kif 22597-22597	Bear is a subclass of carnivore
(termFormat EnglishLanguage Carnivore "carnivore")	english_format.kif 1195-1195	Bear is a subclass of carnivore

antecedent

(=>
    (and
        (instance ?CARNIVORE Carnivore)
        (instance ?EAT Eating)
        (agent ?EAT ?CARNIVORE)
        (patient ?EAT ?PREY))
    (instance ?PREY Animal))

If X is an instance of carnivore, Y is an instance of eating, X is an agent of Y, and Z is a patient of Y, then Z is an instance of animal