No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5727-5727 |
CentralAymaraLanguage est une instance de AymaranLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5746-5746 |
JaquaraLanguage est une instance de AymaranLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5757-5757 |
SouthernAymaraLanguage est une instance de AymaranLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9438-9438 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9437-9437 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9436-9436 |
|