No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4251-4251 |
Green cabbage is a subclass of cabbage |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4248-4248 |
Napa cabbage is a subclass of cabbage |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4254-4254 |
Red cabbage is a subclass of cabbage |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4245-4245 |
Savoy cabbage is a subclass of 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 |
|