| 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 |
|
|
|