No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11477-11477 |
Miyako language is an instance of sakishima language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11492-11492 |
Yaeyama language is an instance of sakishima language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11507-11507 |
Yonaguni language is an instance of sakishima language |
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 |
|