CuttingDevice(cutting device)![]() | ![]() | ax, axe, chisel, cookie_cutter, cutlery, cutter, cutting_tool, khukuri, knife, lumberman's_saw, pipe_cutter, razor, scauper, scorper, two-handed_saw, two-man_saw, whipsaw, wire_cutter |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23638-23639 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 162-162 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23637-23637 | Cutting device is a subclass of device |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23652-23652 | Blade is a subclass of cutting device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19679-19679 | Drill is a subclass of cutting device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23623-23623 | Knife is a subclass of cutting device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19757-19757 | Paper shredder is a subclass of cutting device |
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. | Mid-level-ontology.kif 19718-19718 | Saw is a subclass of cutting device |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18249-18249 | Saw is a subclass of cutting device |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18248-18248 | Saw is a subclass of cutting device |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18247-18247 | Saw is a subclass of cutting device |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23641-23643 |
|
consequent |
![]() |
![]() |
![]() |