| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11652-11652 | 子類 kiowa and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11659-11659 | 子類 百白群語言 and kiowa |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11680-11680 | 子類 kwomtari集團的語言 and kiowa |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11712-11712 | 子類 pyu組語言 and kiowa |
|
|