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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cutting

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...

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 12344-12345
No TPTP formula. May not be expressible in strict first order. Merge.kif 12343-12343 Cutting is a subclass of poking

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 5468-5468 Felling is a subclass of cutting
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22027-22027 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 1545-1545
No TPTP formula. May not be expressible in strict first order. french_format.kif 842-842
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 374-374
No TPTP formula. May not be expressible in strict first order. terms-it.txt 377-377
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2526-2526
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 794-794
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 379-379
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 413-413
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 863-863
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 378-378

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22018-22025
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18150-18184

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12259-12268
No TPTP formula. May not be expressible in strict first order. naics.kif 11934-11946
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18113-18121
No TPTP formula. May not be expressible in strict first order. Economy.kif 5562-5569
No TPTP formula. May not be expressible in strict first order. Economy.kif 5472-5483
No TPTP formula. May not be expressible in strict first order. Economy.kif 5523-5530
No TPTP formula. May not be expressible in strict first order. Economy.kif 6017-6036
No TPTP formula. May not be expressible in strict first order. Economy.kif 5548-5556
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21998-22000
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18190-18198

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18202-18219 There exist ?X, ?CUT,, , ?PAPER,, , ?CBO and ?INFO such that ?X is an instance of paper shredder and ?CUT is an instance of cutting and ?X is an instrument for ?CUT and ?PAPER is an instance of paper and ?PAPER is a patient of ?CUT and ?CBO is located at ?PAPER and ?CBO is an instance of visual content bearing object and ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting and ?INFO is a patient of ?READ and the time of existence of ?CUT happens earlier than the time of existence of ?READ


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

Show without tree


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