|
|
   EnglishBasedCreoleLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 1554-1556 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 1553-1553 | EnglishBasedCreoleLanguage est une sous-classe de CreoleLanguage |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 2123-2123 | SaramaccanLanguage est une instance de EnglishBasedCreoleLanguage |
| 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 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22138-22138 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22137-22137 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22136-22136 |
|
|
|