No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12689-12689 |
中央siouan语言 是 siouan适当的语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12885-12885 |
密苏里河谷语言 是 siouan适当的语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12915-12915 |
东南部的siouan语言 是 siouan适当的语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53224-53224 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53223-53223 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53222-53222 |
|