No TPTP formula. May not be expressible in strict first order. | Languages.kif 12711-12711 | Mississippi valley language is a subclass of central siouan language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12717-12717 | Chiwere language is a subclass of mississippi valley language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12738-12738 | Dakota group language is a subclass of mississippi valley language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12812-12812 | Dhegiha language is a subclass of mississippi valley language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12863-12863 | Winnebago language is a subclass of mississippi valley language |
![]() |