UralicLanguage
|
|
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 60682-60682 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60681-60681 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60680-60680 |