No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4251-4251 |
子類 GreenCabbage and 捲心菜 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4248-4248 |
子類 NapaCabbage and 捲心菜 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4254-4254 |
子類 RedCabbage and 捲心菜 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4245-4245 |
子類 SavoyCabbage and 捲心菜 |
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 |
|