| Language(language)
| | لُغَة, Amharic, Aramaic, Bantoid, Catalan, Creole, Cyrillic, Demotic, Germanic, Gothic, Hebraic, Hebraical, Hebrew, Indo-European, Indo-Germanic, Italic, Latin, Linguagem, Linguaggio, Malayo-Polynesian, Modern, New, Nilotic, Nordic, Old, Romance, Semitic, Siamese, Singhalese, Sinhala, Sinhalese, Slav, Slavic, Slavonic, Sotho, Tai, Tamil, Thai, agglutinative, analytic, bhaashaa, cockney, dead_language, early, hieroglyphically, idiolect, indigenous_language, isolating, langage, language... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1421-1421 | Language is disjointly decomposed into animal language, human language, and computer language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1426-1427 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1422-1425 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6659-6659 | "http://upload.wikimedia.org/wikipedia/commons/8/86/ Surfacegyri.JPG" is a URL depicting language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1420-1420 | 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 1429-1429 | Animal language is a subclass of language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1444-1444 | Artificial language is a subclass of language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1463-1463 | Human language is a subclass of language |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 839-839 | "语言" is the printable form of language in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 526-526 | "language" is the printable form of language in english language |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 515-515 | "langage" is the printable form of language in french language |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 18-18 | "bhaashaa" is the printable form of language in Hindi |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 18-18 | "Linguaggio" is the printable form of language in italian language |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 467-467 | "Linguagem" is the printable form of language in portuguese language |
| No TPTP formula. May not be expressible in strict first order. | arabic_format.kif 251-251 | "لُغَة" is the printable form of language in ar |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 21-21 | "pinulongan" is the printable form of language in cb |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 82-82 | "language" is the printable form of language in cz |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 21-21 | "wika" is the printable form of language in tg |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Offers.kif 98-98 | The number 1 argument of ClassOnLanguageFn is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3071-3071 | The number 3 argument of abbreviatedDisplayTitle is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3039-3039 | 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 21980-21980 | The number 2 argument of canonicalPlaceName is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3060-3060 | The number 3 argument of displayTitle is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4728-4728 | 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 421-421 | The number 1 argument of format is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3110-3110 | The number 3 argument of groupingTitle is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1561-1561 | The number 1 argument of languagePercentInRegion is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3132-3132 | The number 3 argument of misspelledTitle is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1469-1469 | 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 3100-3100 | The number 3 argument of originalTitle is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3089-3089 | The number 3 argument of referenceTitle is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 652-652 | 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 4578-4578 | 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 3049-3049 | 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 895-895 | The number 2 argument of speaks language 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 3142-3142 | The number 3 argument of subtitle is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 429-429 | 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 3021-3021 | The number 3 argument of titleInLanguage is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3167-3167 | The number 3 argument of translatedTitle is an instance of language |
|
|
|