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 1291-1291 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 1293-1296
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 1290-1290 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 1300-1300 Animal language is a subclass of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1314-1314 Artificial language is a subclass of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1331-1331 Human language is a subclass of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1298-1298 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 885-885

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3126-3126 The number 3 argument of abbreviatedDisplayTitle 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 alternativeTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22416-22416 The number 2 argument of canonicalPlaceName is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3115-3115 The number 3 argument of displayTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 4439-4439 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 380-380 The number 1 argument of format is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3165-3165 The number 3 argument of groupingTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1385-1385 The number 2 argument of language is an instance of language
No TPTP formula. May not be expressible in strict first order. People.kif 1565-1565 The number 1 argument of languagePercentInRegion is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3187-3187 The number 3 argument of misspelledTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Music.kif 1447-1447 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 3155-3155 The number 3 argument of originalTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3144-3144 The number 3 argument of referenceTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 611-611 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 4311-4311 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 3104-3104 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 894-894 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 3023-3023 The number 3 argument of spellingInLanguage 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 3197-3197 The number 3 argument of subtitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 387-387 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 3076-3076 The number 3 argument of titleInLanguage is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3222-3222 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