No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11526-11526 |
AchuarShiwiarLanguage est une instance de JivaroanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11544-11544 |
AguarunaLanguage est une instance de JivaroanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11556-11556 |
HuambisaLanguage est une instance de JivaroanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11566-11566 |
ShuarLanguage est une instance de JivaroanLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31639-31639 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31638-31638 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31637-31637 |
|