TreeView Knowledge Base Browser

appearance as argument number 1

(subclass AnimalLanguage Language)	Merge.kif 1504-1504	Animal language is a subclass of language
(documentation AnimalLanguage EnglishLanguage "The subclass of Languages used by Animals other than Humans.")	Merge.kif 1506-1507	Animal language is a subclass of language

appearance as argument number 2

(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage)	Merge.kif 1495-1495	Language is disjointly decomposed into animal language, human language, and computer language
(termFormat EnglishLanguage AnimalLanguage "animal language")	english_format.kif 886-886	Language is disjointly decomposed into animal language, human language, and computer language

antecedent

(=>
    (and
        (instance ?LANG AnimalLanguage)
        (agent ?PROC ?AGENT)
        (instrument ?PROC ?LANG))
    (and
        (instance ?AGENT Animal)
        (not
            (instance ?AGENT Human))))

If X is an instance of animal language, Y is an agent of Z, and X is an instrument for Z, then Y is an instance of animal and Y is not an instance of human