| Hardwood(hardwood) | | hardwood |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5490-5490 | Hardwood is disjoint from softwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5491-5492 | Hardwood is disjoint from softwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5489-5489 | Hardwood is exhaustively partitioned into softwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5488-5488 | 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 5503-5503 | Balsa wood is a subclass of hardwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5513-5513 | Beech wood is a subclass of hardwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5523-5523 | Birch wood is a subclass of hardwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5533-5533 | Cherry wood is a subclass of hardwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5545-5545 | Maple wood is a subclass of hardwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5555-5555 | Okoume wood is a subclass of hardwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5565-5565 | Poplar wood is a subclass of hardwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5575-5575 | Red oak wood is a subclass of hardwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5585-5585 | Sapele wood is a subclass of hardwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5595-5595 | Walnut wood is a subclass of hardwood |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5605-5605 | White oak wood is a subclass of hardwood |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64990-64990 | White oak wood is a subclass of hardwood |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5494-5501 |
|
|
|
|