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 1287-1287 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 1289-1292
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 1286-1286 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 1296-1296 Animal language is a subclass of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1310-1310 Artificial language is a subclass of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1327-1327 Human language is a subclass of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1294-1294 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 3124-3124 The number 3 argument of abbreviatedDisplayTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3092-3092 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 22410-22410 The number 2 argument of canonicalPlaceName is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3113-3113 The number 3 argument of displayTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 4432-4432 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 379-379 The number 1 argument of format is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3163-3163 The number 3 argument of groupingTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 1381-1381 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 3185-3185 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 3153-3153 The number 3 argument of originalTitle 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 referenceTitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 610-610 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 4306-4306 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 3102-3102 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 3195-3195 The number 3 argument of subtitle is an instance of language
No TPTP formula. May not be expressible in strict first order. Merge.kif 386-386 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 3074-3074 The number 3 argument of titleInLanguage is an instance of language
No TPTP formula. May not be expressible in strict first order. Media.kif 3220-3220 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