No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12025-12025 |
Guaicuruan language is a subclass of mataco guaicuru language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12073-12073 |
Mataco language is a subclass of mataco guaicuru language |
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 |
|