| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13805-13805 | 子類 北部北哈馬拉語 and 北哈馬拉語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13812-13812 | 子類 galela loloda 語 and 北部北哈馬拉語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13855-13855 | 子類 高河語 and 北部北哈馬拉語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13893-13893 | 子類 薩胡語言 and 北部北哈馬拉語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13939-13939 | 子類 tobaru語言 and 北部北哈馬拉語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13955-13955 | 子類 tobelo集團的語言 and 北部北哈馬拉語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13993-13993 | 子類 西馬基語言 and 北部北哈馬拉語 |
|
|