No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1860-1860 |
Aukan language is an instance of ndyuka language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1878-1878 |
Kwinti language is an instance of ndyuka language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40025-40025 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40024-40024 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40023-40023 |
|