No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6138-6138 |
Itene language is an instance of guapore language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6149-6149 |
Kabixi language is an instance of guapore language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26904-26904 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26903-26903 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26902-26902 |
|