|
|
   MatacoLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12074-12075 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12073-12073 | Mataco language is a subclass of mataco guaicuru language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12078-12078 | Chulupi language is an instance of mataco language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12111-12111 | Iyojwaja chorote language is an instance of mataco language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12094-12094 | Iyowujwa chorote language is an instance of mataco language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12121-12121 | Maca language is an instance of mataco language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12132-12132 | Wichi lhamtes guisnay language is an instance of mataco language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12141-12141 | Wichi lhamtes nocten language is an instance of mataco language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12152-12152 | Wichi lhamtes vejoz language is an instance of mataco language |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36437-36437 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36436-36436 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36435-36435 |
|
|
|