| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7313-7313 | West germanic language is a subclass of germanic language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7319-7319 | English group language is a subclass of west germanic language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7655-7655 | Frisian language is a subclass of west germanic language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7720-7720 | High german language is a subclass of west germanic language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7726-7726 | German group language is a subclass of west germanic language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8167-8167 | Yiddish language is a subclass of west germanic language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8223-8223 | Low saxon low franconian language is a subclass of west germanic language |
|
|