| 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 45961-45961 | "刨床" is the printable form of planer in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45960-45960 | "刨床" is the printable form of planer in ChineseTraditionalLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45959-45959 | "planer" is the printable form of planer in english language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4900-4916 |
|
|
|
|