| No TPTP formula. May not be expressible in strict first order. | Languages.kif 1553-1553 | EnglishBasedCreoleLanguage e' uma sub-classe de CreoleLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 1559-1559 | AtlanticEnglishBasedCreoleLanguage e' uma sub-classe de EnglishBasedCreoleLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 2003-2003 | PacificEnglishBasedCreoleLanguage e' uma sub-classe de EnglishBasedCreoleLanguage |
|
|