TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Fungivore EnglishLanguage "An organism that exclusively eats fungus")	Mid-level-ontology.kif 22306-22306
(subclass Fungivore Organism)	Mid-level-ontology.kif 22308-22308	Fungivore is a subclass of organism

appearance as argument number 2

(termFormat EnglishLanguage Fungivore "fungivore")

antecedent

(=>
    (and
        (instance ?A Fungivore)
        (agent ?E ?A)
        (instance ?E Eating)
        (patient ?E ?F))
    (instance ?F Fungus))

If X is an instance of fungivore, 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 fungus