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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerLanguage
ComputerLanguage

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


(documentation ComputerLanguage ChineseLanguage "这是一组为点算计而设,也是由电算计来解读的 Languages 类别。") chinese_format.kif 1664-1665
(documentation ComputerLanguage EnglishLanguage "The class of Languages designed for and interpreted by a computer.") Merge.kif 1436-1437
(documentation ComputerLanguage JapaneseLanguage "Language のクラスは、コンピューター用に 設計され、コンピューターによって解釈される。") japanese_format.kif 253-254
(documentation ComputerLanguage SpanishLanguage "La clase de Languages diseñados e interpretados por una computadora.") spanish_format.kif 298-299
(subclass ComputerLanguage ArtificialLanguage) Merge.kif 1434-1434

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


(termFormat ChineseLanguage ComputerLanguage "电算机语言") chinese_format.kif 842-842
(termFormat EnglishLanguage ComputerLanguage "computer language") english_format.kif 886-886
(termFormat FrenchLanguage ComputerLanguage "langage de programmation") french_format.kif 518-518
(termFormat Hindi ComputerLanguage "saMgaNaka bhaashaa") terms-hindi.txt 49-49
(termFormat ItalianLanguage ComputerLanguage "LinguaggioMacchina") terms-it.txt 52-52
(termFormat JapaneseLanguage ComputerLanguage "コンピューター言語") japanese_format.kif 2203-2203
(termFormat PortugueseLanguage ComputerLanguage "Linguagem de Programacao") portuguese_format.kif 470-470
(termFormat cz ComputerLanguage "computer language") terms-cz.txt 85-85
(termFormat ro ComputerLanguage "limbaj de programare") relations-ro.kif 539-539
(termFormat tg ComputerLanguage "wika ng komputer") terms-tg.txt 53-53

appearance as argument number 4
-------------------------


(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) Merge.kif 1406-1406

antecedent
-------------------------


(=>
    (and
        (instance ?LANG ComputerLanguage)
        (agent ?PROC ?AGENT)
        (instrument ?PROC ?LANG))
    (instance ?AGENT Machine))
Merge.kif 1439-1444


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