No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14234-14234 |
Ket language is an instance of yenisei ostyak language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14248-14248 |
Yugh language is an instance of yenisei ostyak language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63825-63825 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63824-63824 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63823-63823 |
|