| Planer(planer) | | carpenter's_plane, plane, planer, planing_machine, woodworking_plane |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4898-4898 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4897-4897 | Planer is a subclass of cutting device |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4896-4896 | Planer is a subclass of machine |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45925-45925 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45924-45924 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45923-45923 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4900-4916 |
|
|
|
|