No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11477-11477 |
例 miyako語言 and sakishima語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11492-11492 |
例 yaeyama語言 and sakishima語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11507-11507 |
例 與那國語言 and sakishima語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50903-50903 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50902-50902 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50901-50901 |
|