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