| 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 1405-1405 | 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 1407-1410 | 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 1404-1404 | 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 1414-1414 | Animal language is a subclass of language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1428-1428 | Artificial language is a subclass of language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1445-1445 | Human language is a subclass of language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1412-1412 | 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. | 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 3138-3138 | 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 3106-3106 | 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 24901-24901 | 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 3127-3127 | 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 4616-4616 | 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 3177-3177 | 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 1499-1499 | The number 2 argument of language is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1563-1563 | 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 3199-3199 | 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 1455-1455 | 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 3167-3167 | 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 3156-3156 | 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 627-627 | 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 4477-4477 | 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 3116-3116 | 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 3035-3035 | 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 664-664 | 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 658-658 | 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 3209-3209 | The number 3 argument of subtitle is an instance of language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 637-637 | 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 386-386 | 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 |
|
|
|