No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11362-11362 |
基凯语 是 北部的amami冲绳语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11374-11374 |
Northern amami oshima 语 是 北部的amami冲绳语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11388-11388 |
南部的amami 大岛语言 是 北部的amami冲绳语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11400-11400 |
德之岛语 是 北部的amami冲绳语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41037-41037 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41036-41036 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41035-41035 |
|