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