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 50901-50901 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50900-50900 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50899-50899 |
|