| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5961-5961 | 子類 北方的caddoan語言 and caddoan語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5967-5967 | 子類 pawnee kitsai 語 and 北方的caddoan語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6016-6016 | 子類 威奇托集團的語言 and 北方的caddoan語言 |
|
|