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


KB Term:  Term intersection
English Word: 

Sigma KEE - Language
Language(language)

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


(subclass Language LinguisticExpression) Merge.kif 1440-1440 Language is a subclass of linguistic expression
(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) Merge.kif 1441-1441 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 1443-1446 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
-------------------------


(subclass WrittenLanguage Language) Merge.kif 1448-1448 Written language is a subclass of language
(subclass AnimalLanguage Language) Merge.kif 1450-1450 Animal language is a subclass of language
(subclass ArtificialLanguage Language) Merge.kif 1464-1464 Artificial language is a subclass of language
(subclass HumanLanguage Language) Merge.kif 1481-1481 Human language is a subclass of language
(instance USArmyRankingSystem Language) Military.kif 418-418 US army ranking system is an instance of language
(instance USAirforceRankingSystem Language) Military.kif 419-419 US airforce ranking system is an instance of language
(instance USMarineCorpsRankingSystem Language) Military.kif 420-420 US marine corps ranking system is an instance of language
(instance USNavyRankingSystem Language) Military.kif 421-421 US navy ranking system is an instance of language
(instance USCoastGuardRankingSystem Language) Military.kif 422-422 US coast guard ranking system is an instance of language
(termFormat EnglishLanguage Language "language") english_format.kif 880-880 US coast guard ranking system is an instance of language

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


(domain format 1 Language) Merge.kif 373-373 The number 1 argument of format is an instance of language
(domain termFormat 1 Language) Merge.kif 380-380 The number 1 argument of term format is an instance of language
(domain relatedExternalConcept 3 Language) Merge.kif 621-621 The number 3 argument of related external concept is an instance of language
(domain synonymousExternalConcept 3 Language) Merge.kif 631-631 The number 3 argument of synonymous external concept is an instance of language
(domain subsumingExternalConcept 3 Language) Merge.kif 652-652 The number 3 argument of subsuming external concept is an instance of language
(domain subsumedExternalConcept 3 Language) Merge.kif 658-658 The number 3 argument of subsumed external concept is an instance of language
(domain language 2 Language) Merge.kif 1535-1535 The number 2 argument of language is an instance of language
(domain representsInLanguage 3 Language) Merge.kif 4531-4531 The number 3 argument of represents in language is an instance of language
(domain expressedInLanguage 2 Language) Merge.kif 4670-4670 The number 2 argument of expressed in language is an instance of language
(domain speaksLanguage 2 Language) Mid-level-ontology.kif 733-733 The number 2 argument of speaks language is an instance of language
(domain canonicalPlaceName 2 Language) Mid-level-ontology.kif 26980-26980 The number 2 argument of canonical place name is an instance of language
(domain subLanguage 1 Language) Languages.kif 14477-14477 The number 1 argument of sub language is an instance of language
(domain subLanguage 2 Language) Languages.kif 14478-14478 The number 2 argument of sub language is an instance of language
(domain spellingInLanguage 3 Language) Media.kif 3037-3037 The number 3 argument of spelling in language is an instance of language
(domain titleInLanguage 3 Language) Media.kif 3090-3090 The number 3 argument of title in language is an instance of language
(domain alternativeTitle 3 Language) Media.kif 3108-3108 The number 3 argument of alternative title is an instance of language
(domain sortingTitle 3 Language) Media.kif 3118-3118 The number 3 argument of sorting title is an instance of language
(domain displayTitle 3 Language) Media.kif 3129-3129 The number 3 argument of display title is an instance of language
(domain abbreviatedDisplayTitle 3 Language) Media.kif 3140-3140 The number 3 argument of abbreviated display title is an instance of language
(domain referenceTitle 3 Language) Media.kif 3158-3158 The number 3 argument of reference title is an instance of language
(domain originalTitle 3 Language) Media.kif 3169-3169 The number 3 argument of original title is an instance of language
(domain groupingTitle 3 Language) Media.kif 3179-3179 The number 3 argument of grouping title is an instance of language
(domain misspelledTitle 3 Language) Media.kif 3201-3201 The number 3 argument of misspelled title is an instance of language
(domain subtitle 3 Language) Media.kif 3211-3211 The number 3 argument of subtitle is an instance of language
(domain translatedTitle 3 Language) Media.kif 3236-3236 The number 3 argument of translated title is an instance of language

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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