No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3527-3527 |
AtlanticEnglishBasedPidginLanguage e' uma sub-classe de EnglishBasedPidginLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3545-3545 |
PacificEnglishBasedPidginLanguage e' uma sub-classe de EnglishBasedPidginLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22144-22144 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22143-22143 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22142-22142 |
|