No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12025-12025 |
GuaicuruanLanguage est une sous-classe de MatacoGuaicuruLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12073-12073 |
MatacoLanguage est une sous-classe de MatacoGuaicuruLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36431-36431 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36430-36430 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36429-36429 |
|