AnimalLanguage - Sigma Knowledge base Browser

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 1427-1428
(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 1425-1425	Animal language is a subclass of language

appearance as argument number 2

(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage)	Merge.kif 1416-1416	Language is disjointly decomposed into animal language, human language, and computer language
(termFormat ChineseLanguage AnimalLanguage "兽语")	chinese_format.kif 840-840	Language is disjointly decomposed into animal language, human language, and computer language
(termFormat EnglishLanguage AnimalLanguage "animal language")	english_format.kif 882-882	Language is disjointly decomposed into animal language, human language, and computer language
(termFormat FrenchLanguage AnimalLanguage "langage animal")	french_format.kif 516-516	Language is disjointly decomposed into animal language, human language, and computer language
(termFormat Hindi AnimalLanguage "pashubhaashaa")	terms-hindi.txt 47-47	Language is disjointly decomposed into animal language, human language, and computer language
(termFormat ItalianLanguage AnimalLanguage "LinguaggioAnimale")	terms-it.txt 50-50	Language is disjointly decomposed into animal language, human language, and computer language
(termFormat JapaneseLanguage AnimalLanguage "動物言語")	japanese_format.kif 2201-2201	Language is disjointly decomposed into animal language, human language, and computer language
(termFormat PortugueseLanguage AnimalLanguage "Linguagem Animal")	portuguese_format.kif 468-468	Language is disjointly decomposed into animal language, human language, and computer language
(termFormat cb AnimalLanguage "hayup pinulongan")	terms-cb.txt 52-52	Language is disjointly decomposed into animal language, human language, and computer language
(termFormat cz AnimalLanguage "animal language")	terms-cz.txt 83-83	Language is disjointly decomposed into animal language, human language, and computer language
(termFormat de AnimalLanguage "Tiersprache")	terms-de.txt 342-342	Language is disjointly decomposed into animal language, human language, and computer language
(termFormat ro AnimalLanguage "limbaj animal")	relations-ro.kif 537-537	Language is disjointly decomposed into animal language, human language, and computer language
(termFormat tg AnimalLanguage "wika sa hayop")	terms-tg.txt 51-51	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))))

Merge.kif 1430-1437

If an object is an instance of animal language and an agent is an agent of a process and the object is an instrument for the process,
then the agent is an instance of animal and the agent is not an instance of human

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: