| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12683-12683 | Siouan适当的语言 是 siouan语言 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12689-12689 | 中央siouan语言 是 siouan适当的语言 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12885-12885 | 密苏里河谷语言 是 siouan适当的语言 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12915-12915 | 东南部的siouan语言 是 siouan适当的语言 的 subclass |
|
|