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. | Languages.kif 12717-12717 | Chiwere语言 是 密西西比河谷语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12738-12738 | 达科他群体语言 是 密西西比河谷语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12812-12812 | Dhegiha语言 是 密西西比河谷语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12863-12863 | 温尼贝戈语 是 密西西比河谷语言 的 subclass |