Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - CuttingDevice
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
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19721-19755
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23655-23660


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners