No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5872-5872 |
BasqueLanguage est une instance de BasqueGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5901-5901 |
NavarroLabourdinBasqueLanguage est une instance de BasqueGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5916-5916 |
SouletinBasqueLanguage est une instance de BasqueGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10134-10134 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10133-10133 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10132-10132 |
|