No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7947-7947 |
AlemannicLanguage e' uma sub-classe de UpperGermanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8022-8022 |
AllemannicLanguage e' uma sub-classe de UpperGermanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8059-8059 |
BavarianAustrianLanguage e' uma sub-classe de UpperGermanLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60628-60628 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60627-60627 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60626-60626 |
|