| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12683-12683 | 子類 siouan適當的語言 and siouan語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12689-12689 | 子類 中央siouan語言 and siouan適當的語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12885-12885 | 子類 密蘇里河谷語言 and siouan適當的語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12915-12915 | 子類 東南部的siouan語言 and siouan適當的語言 |
|
|