No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1443-1443 |
Babalia克里奥尔语阿拉伯语言 是 基于阿拉伯语的克里奥尔语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1456-1456 |
Nubi语言 是 基于阿拉伯语的克里奥尔语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1474-1474 |
苏丹克里奥尔语阿拉伯语 是 基于阿拉伯语的克里奥尔语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8118-8118 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8117-8117 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8116-8116 |
|