Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  AnimalLanguage

Sigma KEE - AnimalLanguage
AnimalLanguage

appearance as argument number 1
-------------------------


(documentation AnimalLanguage ChineseLanguage "这是除了 Human 以外 Animal 所用的 Languagesubclass。") 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 が使用する Languagesubclass。") 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

appearance as argument number 2
-------------------------


(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) Merge.kif 1406-1406
(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


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

Show without tree


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