|
|
   Hardwood
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5280-5280 | Hardwood is disjoint from softwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5281-5282 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5279-5279 | Hardwood is exhaustively partitioned into softwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5278-5278 | Hardwood is a subclass of wood product |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5293-5293 | Balsa wood is a subclass of hardwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5303-5303 | Beech wood is a subclass of hardwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5313-5313 | Birch wood is a subclass of hardwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5323-5323 | Cherry wood is a subclass of hardwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5335-5335 | Maple wood is a subclass of hardwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5345-5345 | Okoume wood is a subclass of hardwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5355-5355 | Poplar wood is a subclass of hardwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5365-5365 | Red oak wood is a subclass of hardwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5375-5375 | Sapele wood is a subclass of hardwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5385-5385 | Walnut wood is a subclass of hardwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5395-5395 | White oak wood is a subclass of hardwood |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64967-64967 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5284-5291 |
|
|
|
|