No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12890-12890 |
Crow语言 是 密苏里河谷语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12904-12904 |
希达萨语 是 密苏里河谷语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38067-38067 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38066-38066 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38065-38065 |
|