TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Carnivore Organism)	Merge.kif 14910-14910	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 14911-14913	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 14923-14923	Canine is a subclass of carnivore
(subclass Feline Carnivore)	Merge.kif 14928-14928	Feline is a subclass of carnivore
(disjoint Herbivore Carnivore)	Mid-level-ontology.kif 22278-22278	Herbivore is disjoint from carnivore
(subclass Badger Carnivore)	Mid-level-ontology.kif 22526-22526	Badger is a subclass of carnivore
(subclass Bear Carnivore)	Mid-level-ontology.kif 22538-22538	Bear is a subclass of carnivore
(termFormat EnglishLanguage Carnivore "carnivore")	english_format.kif 1199-1199	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