| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6126-6126 | 子類 chapacura wanham 語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6132-6132 | 子類 新加坡語 and chapacura wanham 語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6159-6159 | 子類 馬德拉語 and chapacura wanham 語言 |
|
|