| UralicLanguage(uralic language)
| | Baltic-Finnic, Carelian, Cheremis, Cheremiss, Enets, Entsi, Entsy, Fennic, Finnic, Finno-Ugrian, Finno-Ugric, Ingrian, Karelian, Khanty, Lappic, Lappish, Livonian, Ludian, Mansi, Mari, Mordva, Mordvin, Mordvinian, Nenets, Nentsi, Nentsy, Nganasan, Non-Ugric, Ostyak, Ostyak-Samoyed, Permic, Samoyed, Samoyedic, Selkup, Udmurt, Ugrian, Ugric, Uralic, Uralic_language, Veps, Vepse, Vepsian, Vogul, Volgaic, Votyak, Yenisei, Yenisei-Samoyed, Yeniseian, Yurak-Samoyed |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13542-13543 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10324-10324 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13541-13541 | Uralic language is a subclass of spoken human language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14613-14613 | Estonian language is an instance of uralic language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14430-14430 | Finnish language is an instance of uralic language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14622-14622 | Hungarian language is an instance of uralic language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14640-14640 | Komi language is an instance of uralic language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14674-14674 | Northern Sami language is an instance of uralic language |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60680-60680 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60679-60679 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60678-60678 |
|
|
|