| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13659-13659 | 子類 西papuan語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13665-13665 | 子類 鳥頭語言 and 西papuan語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13768-13768 | 子類 Hattam語言 and 西papuan語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13784-13784 | 子類 kebar語言 and 西papuan語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13799-13799 | 子類 北哈馬拉語 and 西papuan語言 |
|
|