| UpperGermanLanguage(upper german language)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7942-7943 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8772-8772 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7941-7941 | Upper german language is a subclass of german group language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 7947-7947 | Alemannic language is a subclass of upper german language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8022-8022 | Allemannic language is a subclass of upper german language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 8059-8059 | Bavarian austrian language is a subclass of upper german language |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60626-60626 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60625-60625 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 60624-60624 |
|
|
|