more pictures...
| NaturalLanguage(natural language)
more pictures... | | Abnaki, Abor, Akan, Akha, Algonkian, Algonkin, Algonquian, Algonquian_language, Algonquin, American-Indian_language, American_Indian, Amerind, Amerindian_language, Apache, Arapaho, Arapahoe, Athabascan, Athabaskan, Athapascan, Athapaskan, Athapaskan_language, Balto-Slavic, Balto-Slavic_language, Balto-Slavonic, Bantoid_language, Bantu, Barish, Basuto, Blackfoot, Bodo-Garo, Cassite, Caucasian, Caucasian_language, Chaga, Chagga, Chemakuan, Chemakum, Cheyenne, ChiMwini, Chin, Chipewyan, Chippewa, Chippewaian, Chippewyan, Chiricahua_Apache, Chishona, Chukchi, Chukchi_language, Coptic, Dafla... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1671-1673 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1474-1478 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 262-264 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 307-310 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9464-9464 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9459-9459 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9458-9458 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9457-9457 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9462-9462 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8608-8608 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9463-9463 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9460-9460 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9461-9461 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1472-1472 | Natural language is a subclass of human language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1531-1531 | English language is an instance of natural language |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16346-16346 | French language is an instance of natural language |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16351-16351 | German language is an instance of natural language |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16356-16356 | Greek language is an instance of natural language |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16360-16360 | Latin language is an instance of natural language |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16365-16365 | Russian language is an instance of natural language |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16369-16369 | Spanish language is an instance of natural language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1442-1442 | Human language is exhaustively partitioned into natural language and constructed language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14594-14594 | Chinese language is a subclass of natural language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12647-12647 | Language family is a subclass of natural language |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 845-845 | Language family is a subclass of natural language |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 892-892 | Language family is a subclass of natural language |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 521-521 | Language family is a subclass of natural language |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 52-52 | Language family is a subclass of natural language |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 55-55 | Language family is a subclass of natural language |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2206-2206 | Language family is a subclass of natural language |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 473-473 | Language family is a subclass of natural language |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 57-57 | Language family is a subclass of natural language |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 88-88 | Language family is a subclass of natural language |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 347-347 | Language family is a subclass of natural language |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 542-542 | Language family is a subclass of natural language |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 56-56 | Language family is a subclass of natural language |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20852-20852 | The number 2 argument of noun gender is an instance of natural language |
|
|
|