HumanLanguage - Sigma Knowledge base Browser

appearance as argument number 1

(subclass HumanLanguage Language)	Merge.kif 1535-1535	Human language is a subclass of language
(partition HumanLanguage NaturalLanguage ConstructedLanguage)	Merge.kif 1536-1536	Human language is exhaustively partitioned into natural language and constructed language
(partition HumanLanguage SpokenHumanLanguage ManualHumanLanguage)	Merge.kif 1537-1537	Human language is exhaustively partitioned into spoken human language and manual human language
(documentation HumanLanguage EnglishLanguage "The subclass of Languages used by Humans.")	Merge.kif 1539-1540	Human language is exhaustively partitioned into spoken human language and manual human language

appearance as argument number 2

(subclass ConstructedLanguage HumanLanguage)	Merge.kif 1549-1549	Constructed language is a subclass of human language
(subclass NaturalLanguage HumanLanguage)	Merge.kif 1566-1566	Natural language is a subclass of human language
(subclass ManualHumanLanguage HumanLanguage)	Merge.kif 1574-1574	Manual human language is a subclass of human language
(subclass SpokenHumanLanguage HumanLanguage)	Merge.kif 1580-1580	Spoken human language is a subclass of human language
(subclass WrittenHumanLanguage HumanLanguage)	Merge.kif 1597-1597	Written human language is a subclass of human language
(termFormat EnglishLanguage HumanLanguage "human language")	english_format.kif 892-892	Written human language is a subclass of human language

appearance as argument number 3

(domain documentation 2 HumanLanguage)	Merge.kif 362-362	The number 2 argument of documentation is an instance of human language
(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage)	Merge.kif 1495-1495	Language is disjointly decomposed into animal language, human language, and computer language
(domain utterance 1 HumanLanguage)	emotion.kif 171-171	The number 1 argument of utterance is an instance of human language
(domain pastTense 1 HumanLanguage)	emotion.kif 178-178	The number 1 argument of past tense is an instance of human language

antecedent

(=>
    (and
        (instance ?LANG HumanLanguage)
        (agent ?PROC ?AGENT)
        (instrument ?PROC ?LANG))
    (instance ?AGENT Human))

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