AnimalLanguage(Linguagem Animal) |
appearance as argument number 1 |
(documentation AnimalLanguage ChineseLanguage "这是除了 Human 以外 Animal 所用的 Language 的 subclass。") | chinese_format.kif 1660-1661 | |
(documentation AnimalLanguage EnglishLanguage "The subclass of Languages used by Animals other than Humans.") | Merge.kif 1417-1418 | |
(documentation AnimalLanguage JapaneseLanguage "Human 以外の Animal が使用する Language の subclass。") | japanese_format.kif 249-250 | |
(documentation AnimalLanguage SpanishLanguage "La subclass de Languages usada por Animals además de Humans.") | spanish_format.kif 294-295 | |
(subclass AnimalLanguage Language) | Merge.kif 1415-1415 | Linguagem Animal e' uma sub-classe de Linguagem |
appearance as argument number 2 |
antecedent |
(=> (and (instance ?LANG AnimalLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (and (instance ?AGENT Animal) (not (instance ?AGENT Human)))) |
Merge.kif 1420-1427 |
|