No TPTP formula. May not be expressible in strict first order. | Languages.kif 12711-12711 | 子類 密西西比河谷語言 and 中央siouan語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12717-12717 | 子類 chiwere語言 and 密西西比河谷語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12738-12738 | 子類 達科他群體語言 and 密西西比河谷語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12812-12812 | 子類 dhegiha語言 and 密西西比河谷語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12863-12863 | 子類 溫尼貝戈語 and 密西西比河谷語言 |
![]() |