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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cutting
Cutting(cutting)abscise, anatomise, anatomize, ax, axe, beardless, bite, break_up, bushwhack, center_punch, chatter, chop_off, chopped, clean-shaven, clipped, close-hauled, counter-drill, crosscut, cut, cut_across, cut_down, cut_off, cut_out, cut_up, cutting, dissect, empale, fresh-cut, gash, gastromy, gore, grooving, hand-hewn, hewn, hob, horn, impale, incise, incised, incision, indent, keratotomy, lacerate, laparoscopy, laparotomy, lop_off, mince, mown, nephrotomy, new-mown...

VerbNet: cut-21.1|slash, spank-18.3|gash, image_impression-25.1|incise, poke-19|pierce, hurt-40.8.3|prick, hurt-40.8.3|prick, carve-21.2|punch, split-23.2|saw, wipe_manner-10.4.1|trim, pocket-9.10|spit, cut-21.1|slash, carve-21.2|slit, carve-21.2|spear, pocket-9.10|spit, spray-9.7|stick, poke-19|pierce, wipe_manner-10.4.1|trim,


appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3161-3162
No TPTP formula. May not be expressible in strict first order. Merge.kif 11449-11450
No TPTP formula. May not be expressible in strict first order. Merge.kif 11448-11448 Cutting is a subclass of poking

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19876-19876 Slicing is a subclass of cutting
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1164-1164
No TPTP formula. May not be expressible in strict first order. english_format.kif 1550-1550

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19867-19874
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15896-15930
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15945-15965

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11372-11381
No TPTP formula. May not be expressible in strict first order. naics.kif 11857-11869
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15860-15868
No TPTP formula. May not be expressible in strict first order. Economy.kif 4900-4916
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19847-19849
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15935-15943


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners