No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1860-1860 |
AukanLanguage e' uma instancia de NdyukaLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1878-1878 |
KwintiLanguage e' uma instancia de NdyukaLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40023-40023 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40022-40022 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40021-40021 |
|