| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4602-4602 | AfroAsiaticLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4608-4608 | BerberLanguage est une sous-classe de AfroAsiaticLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4670-4670 | NorthernAfroAsiaticLanguage est une sous-classe de AfroAsiaticLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5057-5057 | ChadicLanguage est une sous-classe de AfroAsiaticLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14535-14535 | CushiticLanguage est une sous-classe de AfroAsiaticLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14561-14561 | SemiticLanguage est une sous-classe de AfroAsiaticLanguage |
|
|