No TPTP formula. May not be expressible in strict first order. | Languages.kif 12661-12661 | 子類 siouan語言 and 口語人類語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12668-12668 | 子類 catawba集團的語言 and siouan語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12683-12683 | 子類 siouan適當的語言 and siouan語言 |