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 1406-1406 | 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 1408-1411 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 246-248 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 290-293 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6658-6658 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1405-1405 | 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 1415-1415 | Animal language is a subclass of language |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1429-1429 | Artificial language is a subclass of language |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1446-1446 | Human language is a subclass of language |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1413-1413 | Written language 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 880-880 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 515-515 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 18-18 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 20-20 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2200-2200 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 467-467 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 21-21 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 82-82 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 536-536 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 21-21 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3156-3156 | 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 3124-3124 | 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 24581-24581 | 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 3145-3145 | 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 4618-4618 | 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 3195-3195 | 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 1500-1500 | 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 3217-3217 | 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 3185-3185 | 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 3174-3174 | 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 628-628 | 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 4479-4479 | 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 3134-3134 | 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 737-737 | 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 3053-3053 | 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 665-665 | 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 659-659 | 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 3227-3227 | The number 3 argument of subtitle is an instance of language |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 638-638 | 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 387-387 | 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 |