No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5293-5293 |
BalsaWood e' uma sub-classe de Hardwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5303-5303 |
BeechWood e' uma sub-classe de Hardwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5313-5313 |
BirchWood e' uma sub-classe de Hardwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5323-5323 |
CherryWood e' uma sub-classe de Hardwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5335-5335 |
MapleWood e' uma sub-classe de Hardwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5345-5345 |
OkoumeWood e' uma sub-classe de Hardwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5355-5355 |
PoplarWood e' uma sub-classe de Hardwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5365-5365 |
RedOakWood e' uma sub-classe de Hardwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5375-5375 |
SapeleWood e' uma sub-classe de Hardwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5385-5385 |
WalnutWood e' uma sub-classe de Hardwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5395-5395 |
WhiteOakWood e' uma sub-classe de Hardwood |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64969-64969 |
|