No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7947-7947 |
AlemannicLanguage est une sous-classe de UpperGermanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8022-8022 |
AllemannicLanguage est une sous-classe de UpperGermanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8059-8059 |
BavarianAustrianLanguage est une sous-classe de UpperGermanLanguage |
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 |
|