| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4602-4602 | 子類 非洲亞洲語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4608-4608 | 子類 柏柏爾語言 and 非洲亞洲語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4670-4670 | 子類 北非亞洲語言 and 非洲亞洲語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5057-5057 | 子類 chadic 語言 and 非洲亞洲語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14535-14535 | 子類 CushiticLanguage and 非洲亞洲語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14561-14561 | 子類 SemiticLanguage and 非洲亞洲語言 |
|
|