![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Language
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Language LinguisticExpression) | Merge.kif 1494-1494 | Language is a subclass of linguistic expression |
| (disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) | Merge.kif 1495-1495 | Language is disjointly decomposed into animal language, human language, and computer language |
| (documentation Language EnglishLanguage "A system of signs for expressing thought. The system can be either natural or artificial, i.e. something that emerges gradually as a cultural artifact or something that is intentionally created by a person or group of people.") | Merge.kif 1497-1500 | Language is disjointly decomposed into animal language, human language, and computer language |
| (externalImage Language "http://upload.wikimedia.org/wikipedia/commons/8/ 86/ Surfacegyri.JPG") | pictureList.kif 6657-6657 | Language is disjointly decomposed into animal language, human language, and computer language |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|