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


KB Term:  Term intersection
English Word: 

Sigma KEE - Language
Language

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


(subclass Language LinguisticExpression) Merge.kif 1494-1494
(disjointDecomposition Language AnimalLanguage HumanLanguage ComputerLanguage) Merge.kif 1495-1495
(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
(externalImage Language "http://upload.wikimedia.org/wikipedia/commons/8/ 86/ Surfacegyri.JPG") pictureList.kif 6657-6657

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


(subclass WrittenLanguage Language) Merge.kif 1502-1502
(subclass AnimalLanguage Language) Merge.kif 1504-1504
(subclass ArtificialLanguage Language) Merge.kif 1518-1518
(subclass HumanLanguage Language) Merge.kif 1535-1535
(instance USArmyRankingSystem Language) Military.kif 615-615
(instance USAirforceRankingSystem Language) Military.kif 616-616
(instance USMarineCorpsRankingSystem Language) Military.kif 617-617
(instance USNavyRankingSystem Language) Military.kif 618-618
(instance USCoastGuardRankingSystem Language) Military.kif 619-619
(termFormat EnglishLanguage Language "language") english_format.kif 884-884

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


(domain format 1 Language) Merge.kif 372-372
(domain termFormat 1 Language) Merge.kif 379-379
(domain relatedExternalConcept 3 Language) Merge.kif 620-620
(domain synonymousExternalConcept 3 Language) Merge.kif 630-630
(domain subsumingExternalConcept 3 Language) Merge.kif 651-651
(domain subsumedExternalConcept 3 Language) Merge.kif 657-657
(domain language 2 Language) Merge.kif 1589-1589
(domain representsInLanguage 3 Language) Merge.kif 4593-4593
(domain expressedInLanguage 2 Language) Merge.kif 4731-4731
(domain speaksLanguage 2 Language) Mid-level-ontology.kif 720-720
(domain canonicalPlaceName 2 Language) Mid-level-ontology.kif 26872-26872
(domain subLanguage 1 Language) Languages.kif 14507-14507
(domain subLanguage 2 Language) Languages.kif 14508-14508
(domain spellingInLanguage 3 Language) Media.kif 2982-2982
(domain titleInLanguage 3 Language) Media.kif 3035-3035
(domain alternativeTitle 3 Language) Media.kif 3053-3053
(domain sortingTitle 3 Language) Media.kif 3063-3063
(domain displayTitle 3 Language) Media.kif 3074-3074
(domain abbreviatedDisplayTitle 3 Language) Media.kif 3085-3085
(domain referenceTitle 3 Language) Media.kif 3103-3103
(domain originalTitle 3 Language) Media.kif 3114-3114
(domain groupingTitle 3 Language) Media.kif 3124-3124
(domain misspelledTitle 3 Language) Media.kif 3146-3146
(domain subtitle 3 Language) Media.kif 3156-3156
(domain translatedTitle 3 Language) Media.kif 3181-3181

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners