No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12695-12695 |
曼丹小组语言 是 中央siouan语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12711-12711 |
密西西比河谷语言 是 中央siouan语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13890-13890 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13889-13889 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13888-13888 |
|