No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14234-14234 |
例 酮語 and yenisei ostyak 語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14248-14248 |
例 yugh語言 and yenisei ostyak 語 |
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 |
|