No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14338-14338 |
AyoreoLanguage est une instance de ZamucoanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14349-14349 |
ChamacocoLanguage est une instance de ZamucoanLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64069-64069 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64068-64068 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64067-64067 |
|