No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13898-13898 |
GamkonoraLanguage est une instance de SahuGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13907-13907 |
IbuLanguage est une instance de SahuGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13916-13916 |
SahuLanguage est une instance de SahuGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13928-13928 |
WaioliLanguage est une instance de SahuGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50787-50787 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50786-50786 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50785-50785 |
|