| No TPTP formula. May not be expressible in strict first order. | Languages.kif 1553-1553 | EnglishBasedCreoleLanguage est une sous-classe de CreoleLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 1559-1559 | AtlanticEnglishBasedCreoleLanguage est une sous-classe de EnglishBasedCreoleLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 2003-2003 | PacificEnglishBasedCreoleLanguage est une sous-classe de EnglishBasedCreoleLanguage |
|
|