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 6413-6413 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6412-6412 | Planer is a subclass of cutting device |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6411-6411 | Planer is a subclass of machine |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46028-46028 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46027-46027 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46026-46026 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6415-6434 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5904-5911 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5890-5898 |
|
![]() |
![]() |