No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11477-11477 |
Miyako语言 是 sakishima语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11492-11492 |
Yaeyama语言 是 sakishima语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11507-11507 |
与那国语言 是 sakishima语言 的 instance |
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 |
|