| WestGermanicLanguage
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8800-8800 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7313-7313 | WestGermanicLanguage e' uma sub-classe de GermanicLanguage |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7319-7319 | EnglishGroupLanguage e' uma sub-classe de WestGermanicLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7655-7655 | FrisianLanguage e' uma sub-classe de WestGermanicLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7726-7726 | GermanGroupLanguage e' uma sub-classe de WestGermanicLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7720-7720 | HighGermanLanguage e' uma sub-classe de WestGermanicLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8223-8223 | LowSaxonLowFranconianLanguage e' uma sub-classe de WestGermanicLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8167-8167 | YiddishLanguage e' uma sub-classe de WestGermanicLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62865-62865 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62864-62864 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62863-62863 |
|
|
|