| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7732-7732 | MiddleGermanLanguage e' uma sub-classe de GermanGroupLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7738-7738 | EastMiddleGermanLanguage e' uma sub-classe de MiddleGermanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7826-7826 | MoselleFranconianMiddleGermanLanguage e' uma sub-classe de MiddleGermanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7872-7872 | WestMiddleGermanLanguage e' uma sub-classe de MiddleGermanLanguage |
|
|