No TPTP formula. May not be expressible in strict first order. | Languages.kif 12661-12661 | Siouan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12668-12668 | Catawba group language is a subclass of siouan language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12683-12683 | Siouan proper language is a subclass of siouan language |
![]() |