No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14338-14338 |
Ayoreo language is an instance of zamucoan language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14349-14349 |
Chamacoco language is an instance of zamucoan language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64071-64071 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64070-64070 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64069-64069 |
|