Carnivore - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Carnivore Organism)	Merge.kif 14910-14910
(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 14911-14913
(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

appearance as argument number 2

(subclass Canine Carnivore)	Merge.kif 14923-14923
(subclass Feline Carnivore)	Merge.kif 14928-14928
(disjoint Herbivore Carnivore)	Mid-level-ontology.kif 22278-22278
(subclass Badger Carnivore)	Mid-level-ontology.kif 22526-22526
(subclass Bear Carnivore)	Mid-level-ontology.kif 22538-22538
(termFormat EnglishLanguage Carnivore "carnivore")	english_format.kif 1199-1199

antecedent

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