| 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 1401-1401 | 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 | 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 1403-1406 | Language is disjointly decomposed into animal language, human language, and computer language |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 246-248 | Language is disjointly decomposed into animal language, human language, and computer language |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 290-293 | Language is disjointly decomposed into animal language, human language, and computer language |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6657-6657 | 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 1400-1400 | 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 408-408 | US airforce ranking system is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 407-407 | US army ranking system is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 411-411 | US coast guard ranking system is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 409-409 | US marine corps ranking system is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 410-410 | US navy ranking system is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1410-1410 | Animal language is a subclass of language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1424-1424 | Artificial language is a subclass of language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1441-1441 | Human language is a subclass of language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1408-1408 | Written language is a subclass of language |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 839-839 | Written language is a subclass of language |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 880-880 | Written language is a subclass of language |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 515-515 | Written language is a subclass of language |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 18-18 | Written language is a subclass of language |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 20-20 | Written language is a subclass of language |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2200-2200 | Written language is a subclass of language |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 467-467 | Written language is a subclass of language |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 21-21 | Written language is a subclass of language |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 82-82 | Written language is a subclass of language |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 341-341 | Written language is a subclass of language |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 536-536 | Written language is a subclass of language |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 21-21 | Written language is a subclass of language |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3140-3140 | The number 3 argument of abbreviated display title is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3108-3108 | The number 3 argument of alternative title is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26262-26262 | The number 2 argument of canonical place name is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3129-3129 | The number 3 argument of display title is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4631-4631 | 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 373-373 | The number 1 argument of format is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3179-3179 | The number 3 argument of grouping title is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1495-1495 | The number 2 argument of language is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1564-1564 | The number 1 argument of language percent in region is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3201-3201 | The number 3 argument of misspelled title is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 1457-1457 | 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 3169-3169 | The number 3 argument of original title is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3158-3158 | The number 3 argument of reference title is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 621-621 | 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 4492-4492 | 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 3118-3118 | The number 3 argument of sorting title is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 730-730 | 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 3037-3037 | The number 3 argument of spelling in language is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14477-14477 | The number 1 argument of sub language is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14478-14478 | The number 2 argument of sub language is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 658-658 | The number 3 argument of subsumed external concept 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 subsuming external concept is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3211-3211 | The number 3 argument of subtitle is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 631-631 | The number 3 argument of synonymous external concept 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 term format is an instance of language |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|