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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Language

 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 1346-1346 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 1348-1351
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 1345-1345 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 1355-1355 Animal language is a subclass of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1369-1369 Artificial language is a subclass of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1386-1386 Human language is a subclass of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1353-1353 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 23932-23932 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 4522-4522 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 1440-1440 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 4383-4383 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 698-698 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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