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 64069-64069 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64068-64068 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64067-64067 |
|