| AnimalLanguage | |
| 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 | AnimalLanguage ist eine teilkategorie von Language |
| appearance as argument number 2 |
|
|
| (disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) | Merge.kif 1406-1406 | Language wird zusammenhanglos auf AnimalLanguage, HumanLanguage, und ComputerLanguage disjunkt |
| (termFormat ChineseLanguage AnimalLanguage "兽语") | chinese_format.kif 840-840 | |
| (termFormat EnglishLanguage AnimalLanguage "animal language") | english_format.kif 882-882 | |
| (termFormat FrenchLanguage AnimalLanguage "langage animal") | french_format.kif 516-516 | |
| (termFormat Hindi AnimalLanguage "pashubhaashaa") | terms-hindi.txt 47-47 | |
| (termFormat ItalianLanguage AnimalLanguage "LinguaggioAnimale") | terms-it.txt 50-50 | |
| (termFormat JapaneseLanguage AnimalLanguage "動物言語") | japanese_format.kif 2201-2201 | |
| (termFormat PortugueseLanguage AnimalLanguage "Linguagem Animal") | portuguese_format.kif 468-468 | |
| (termFormat cb AnimalLanguage "hayup pinulongan") | terms-cb.txt 52-52 | |
| (termFormat cz AnimalLanguage "animal language") | terms-cz.txt 83-83 | |
| (termFormat ro AnimalLanguage "limbaj animal") | relations-ro.kif 537-537 | |
| (termFormat tg AnimalLanguage "wika sa hayop") | terms-tg.txt 51-51 |
| antecedent |
|
|
| (=> (and (instance ?LANG AnimalLanguage) (agent ?PROC ?AGENT) (instrument ?PROC ?LANG)) (and (instance ?AGENT Animal) (not (instance ?AGENT Human)))) |
Merge.kif 1420-1427 |
|
|
|
|