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, Malayo-Polynesian, Modern, New, Nilotic, Nordic, Old, Romance, Semitic, Siamese, Singhalese, Sinhala, Sinhalese, Slav, Slavic, Slavonic, Sotho, Tai, Tamil, Thai, agglutinative, analytic, cockney, dead_language, early, hieroglyphically, idiolect, indigenous_language, isolating, language, late, lingually, linguistic_communication, linguistically, metalanguage...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1352-1352 Language is disjointly decomposed into animal language, human language, and computer language
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1658-1659
No TPTP formula. May not be expressible in strict first order. Merge.kif 1354-1357
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6659-6659
No TPTP formula. May not be expressible in strict first order. Merge.kif 1351-1351 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 1361-1361 Animal language is a subclass of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1375-1375 Artificial language is a subclass of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1392-1392 Human language is a subclass of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1359-1359 WrittenLanguage is a subclass of language
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 839-839
No TPTP formula. May not be expressible in strict first order. english_format.kif 880-880

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3144-3144 The number 3 argument of abbreviatedDisplayTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3112-3112 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 23956-23956 The number 2 argument of canonicalPlaceName is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3133-3133 The number 3 argument of displayTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 4528-4528 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 378-378 The number 1 argument of format is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3183-3183 The number 3 argument of groupingTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1446-1446 The number 2 argument of language is an instance of language
No TPTP formula. May not be expressible in strict first order. People.kif 1573-1573 The number 1 argument of languagePercentInRegion is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3205-3205 The number 3 argument of misspelledTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Music.kif 1448-1448 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 3173-3173 The number 3 argument of originalTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3162-3162 The number 3 argument of referenceTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 628-628 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 4389-4389 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 3122-3122 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 702-702 The number 2 argument of speaks language is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3041-3041 The number 3 argument of spellingInLanguage is an instance of language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14477-14477 The number 1 argument of subLanguage is an instance of language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14478-14478 The number 2 argument of subLanguage is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3215-3215 The number 3 argument of subtitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 385-385 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 3094-3094 The number 3 argument of titleInLanguage is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3240-3240 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 3.0 is open source software produced by Articulate Software and its partners