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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Language
Language(language)
لُغَة, Amharic, Aramaic, Bantoid, Catalan, Creole, Cyrillic, Demotic, Germanic, Gothic, Hebraic, Hebraical, Hebrew, Indo-European, Indo-Germanic, Italic, Latin, Linguagem, Linguaggio, Malayo-Polynesian, Modern, New, Nilotic, Nordic, Old, Romance, Semitic, Siamese, Singhalese, Sinhala, Sinhalese, Slav, Slavic, Slavonic, Sotho, Tai, Tamil, Thai, agglutinative, analytic, bhaashaa, cockney, dead_language, early, hieroglyphically, idiolect, indigenous_language, isolating, langage, language...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1421-1421 Language is disjointly decomposed into animal language, human language, and computer language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1426-1427
No TPTP formula. May not be expressible in strict first order. Merge.kif 1422-1425
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6659-6659 "http://upload.wikimedia.org/wikipedia/commons/8/86/ Surfacegyri.JPG" is a URL depicting language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1420-1420 Language is a subclass of linguistic expression

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


No TPTP formula. May not be expressible in strict first order. Military.kif 341-341 US airforce ranking system is an instance of language
No TPTP formula. May not be expressible in strict first order. Military.kif 340-340 US army ranking system is an instance of language
No TPTP formula. May not be expressible in strict first order. Military.kif 344-344 US coast guard ranking system is an instance of language
No TPTP formula. May not be expressible in strict first order. Military.kif 342-342 US marine corps ranking system is an instance of language
No TPTP formula. May not be expressible in strict first order. Military.kif 343-343 US navy ranking system is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1429-1429 Animal language is a subclass of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1444-1444 Artificial language is a subclass of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1463-1463 Human language is a subclass of language
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 839-839 "语言" is the printable form of language in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 526-526 "language" is the printable form of language in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 515-515 "langage" is the printable form of language in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 18-18 "bhaashaa" is the printable form of language in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 18-18 "Linguaggio" is the printable form of language in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 467-467 "Linguagem" is the printable form of language in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 251-251 "لُغَة" is the printable form of language in ar
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 21-21 "pinulongan" is the printable form of language in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 82-82 "language" is the printable form of language in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 21-21 "wika" is the printable form of language in tg

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


No TPTP formula. May not be expressible in strict first order. Offers.kif 98-98 The number 1 argument of ClassOnLanguageFn is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3071-3071 The number 3 argument of abbreviatedDisplayTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3039-3039 The number 3 argument of alternativeTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21980-21980 The number 2 argument of canonicalPlaceName is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3060-3060 The number 3 argument of displayTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 4728-4728 The number 2 argument of expressed in language is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 421-421 The number 1 argument of format is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3110-3110 The number 3 argument of groupingTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. People.kif 1561-1561 The number 1 argument of languagePercentInRegion is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3132-3132 The number 3 argument of misspelledTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Music.kif 1469-1469 The number 2 argument of original expressed in language is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3100-3100 The number 3 argument of originalTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3089-3089 The number 3 argument of referenceTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 652-652 The number 3 argument of related external concept is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 4578-4578 The number 3 argument of represents in language is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3049-3049 The number 3 argument of sortingTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 895-895 The number 2 argument of speaks language is an instance of language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14469-14469 The number 1 argument of subLanguage is an instance of language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14470-14470 The number 2 argument of subLanguage is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3142-3142 The number 3 argument of subtitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 429-429 The number 1 argument of term format is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3021-3021 The number 3 argument of titleInLanguage is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3167-3167 The number 3 argument of translatedTitle is an instance of language


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners