No TPTP formula. May not be expressible in strict first order. | Economy.kif 5284-5291 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5278-5278 | Hardwood est une sous-classe de WoodProduct |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5293-5293 | BalsaWood est une sous-classe de Hardwood |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5303-5303 | BeechWood est une sous-classe de Hardwood |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5313-5313 | BirchWood est une sous-classe de Hardwood |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5323-5323 | CherryWood est une sous-classe de Hardwood |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5335-5335 | MapleWood est une sous-classe de Hardwood |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5345-5345 | OkoumeWood est une sous-classe de Hardwood |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5355-5355 | PoplarWood est une sous-classe de Hardwood |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5365-5365 | RedOakWood est une sous-classe de Hardwood |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5375-5375 | SapeleWood est une sous-classe de Hardwood |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5385-5385 | WalnutWood est une sous-classe de Hardwood |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5395-5395 | WhiteOakWood est une sous-classe de Hardwood |