No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4582-4582 |
AvocadoOil est une sous-classe de VegetableOil |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4570-4570 |
CanolaOil est une sous-classe de VegetableOil |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2486-2486 |
CocoaButter est une sous-classe de VegetableOil |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4579-4579 |
CoconutOil est une sous-classe de VegetableOil |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4578-4578 |
CottonSeedOil est une sous-classe de VegetableOil |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4568-4568 |
GrapeSeedOil est une sous-classe de VegetableOil |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4575-4575 |
GroundnutOil est une sous-classe de VegetableOil |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4562-4562 |
OliveOil est une sous-classe de VegetableOil |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4561-4561 |
PalmOil est une sous-classe de VegetableOil |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4569-4569 |
RapeseedOil est une sous-classe de VegetableOil |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4574-4574 |
SafflowerOil est une sous-classe de VegetableOil |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4565-4565 |
SoybeanOil est une sous-classe de VegetableOil |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4571-4571 |
SunFlowerOil est une sous-classe de VegetableOil |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61324-61324 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61323-61323 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61322-61322 |
|