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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Language
Language

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


(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) Merge.kif 1291-1291
(documentation Language ChineseLanguage "这是表达思想的符号系统。这系统可以是自然或是人工的,也就是 说是一种逐渐形成的文化产品,或者是由一个人或一群人所故意创造的。") chinese_format.kif 1658-1659
(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 1293-1296
(externalImage Language "http://upload.wikimedia.org/wikipedia/commons/8/ 86/ Surfacegyri.JPG") pictureList.kif 6659-6659
(subclass Language LinguisticExpression) Merge.kif 1290-1290

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


(instance USAirforceRankingSystem Language) Military.kif 341-341
(instance USArmyRankingSystem Language) Military.kif 340-340
(instance USCoastGuardRankingSystem Language) Military.kif 344-344
(instance USMarineCorpsRankingSystem Language) Military.kif 342-342
(instance USNavyRankingSystem Language) Military.kif 343-343
(subclass AnimalLanguage Language) Merge.kif 1300-1300
(subclass ArtificialLanguage Language) Merge.kif 1314-1314
(subclass HumanLanguage Language) Merge.kif 1331-1331
(subclass WrittenLanguage Language) Merge.kif 1298-1298
(termFormat ChineseLanguage Language "语言") chinese_format.kif 839-839
(termFormat EnglishLanguage Language "language") english_format.kif 885-885

appearance as argument number 3
-------------------------


(domain abbreviatedDisplayTitle 3 Language) Media.kif 3126-3126
(domain alternativeTitle 3 Language) Media.kif 3094-3094
(domain canonicalPlaceName 2 Language) Mid-level-ontology.kif 22416-22416
(domain displayTitle 3 Language) Media.kif 3115-3115
(domain expressedInLanguage 2 Language) Merge.kif 4439-4439
(domain format 1 Language) Merge.kif 380-380
(domain groupingTitle 3 Language) Media.kif 3165-3165
(domain language 2 Language) Merge.kif 1385-1385
(domain languagePercentInRegion 1 Language) People.kif 1565-1565
(domain misspelledTitle 3 Language) Media.kif 3187-3187
(domain originalExpressedInLanguage 2 Language) Music.kif 1447-1447
(domain originalTitle 3 Language) Media.kif 3155-3155
(domain referenceTitle 3 Language) Media.kif 3144-3144
(domain relatedExternalConcept 3 Language) Merge.kif 611-611
(domain representsInLanguage 3 Language) Merge.kif 4311-4311
(domain sortingTitle 3 Language) Media.kif 3104-3104
(domain speaksLanguage 2 Language) Mid-level-ontology.kif 894-894
(domain spellingInLanguage 3 Language) Media.kif 3023-3023
(domain subLanguage 1 Language) Languages.kif 14469-14469
(domain subLanguage 2 Language) Languages.kif 14470-14470
(domain subtitle 3 Language) Media.kif 3197-3197
(domain termFormat 1 Language) Merge.kif 387-387
(domain titleInLanguage 3 Language) Media.kif 3076-3076
(domain translatedTitle 3 Language) Media.kif 3222-3222


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