No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12030-12030 |
Kadiweu language is an instance of guaicuruan language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12040-12040 |
Mocovi language is an instance of guaicuruan language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12047-12047 |
Pilaga language is an instance of guaicuruan language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12057-12057 |
Toba language is an instance of guaicuruan language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26862-26862 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26861-26861 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26860-26860 |
|