No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4251-4251 |
GreenCabbage est une sous-classe de Cabbage |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4248-4248 |
NapaCabbage est une sous-classe de Cabbage |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4254-4254 |
RedCabbage est une sous-classe de Cabbage |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4245-4245 |
SavoyCabbage est une sous-classe de Cabbage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12559-12559 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12558-12558 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12557-12557 |
|