| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7313-7313 | WestGermanicLanguage est une sous-classe de GermanicLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7319-7319 | EnglishGroupLanguage est une sous-classe de WestGermanicLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7655-7655 | FrisianLanguage est une sous-classe de WestGermanicLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7720-7720 | HighGermanLanguage est une sous-classe de WestGermanicLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7726-7726 | GermanGroupLanguage est une sous-classe de WestGermanicLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8167-8167 | YiddishLanguage est une sous-classe de WestGermanicLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8223-8223 | LowSaxonLowFranconianLanguage est une sous-classe de WestGermanicLanguage |
|
|