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

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


s__documentation(s__Cutting,s__ChineseLanguage,'"这是使用尖锐 instrument 所做 Poking Processsubclass。 "')

chinese_format.kif 3161-3162
s__documentation(s__Cutting,s__EnglishLanguage,'"The subclass of Poking Processes which involve a sharp instrument."')

Merge.kif 11722-11723
s__instance(s__Poking,s__SetOrClass)

s__instance(s__Cutting,s__SetOrClass)

s__subclass(s__Cutting,s__Poking)

Merge.kif 11721-11721 Cutting is a subclass of poking

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


s__instance(s__Cutting,s__SetOrClass)

s__subclass(s__Slicing,s__Cutting)

s__instance(s__Slicing,s__SetOrClass)

Mid-level-ontology.kif 20251-20251 Slicing is a subclass of cutting
s__termFormat(s__ChineseLanguage,s__Cutting,'"切开"')

chinese_format.kif 1164-1164
s__termFormat(s__EnglishLanguage,s__Cutting,'"cutting"')

english_format.kif 1550-1550

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


( ! [V__B,V__OBJ,V__CUT] :
   (((s__instance(V__B,s__Blade) &
         s__instance(V__CUT,s__Cutting) &
         s__instance(V__OBJ,s__Object) &
         s__instrument(V__CUT,V__B)
       &
       s__patient(V__CUT,V__OBJ))
   =>
   (s__meetsSpatially(V__B,V__OBJ)))
)
)

Mid-level-ontology.kif 20242-20249
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16317-16351
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16367-16387

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


( ! [V__ANIMAL,V__ACT] :
   (((s__instance(V__ACT,s__Surgery) &
         s__patient(V__ACT,V__ANIMAL))
     =>
     (( ? [V__SUBACT] :
         ((s__instance(V__SUBACT,s__Cutting) &
             s__instance(V__ANIMAL,s__Animal) &
             s__patient(V__SUBACT,V__ANIMAL)
           &
           s__subProcess(V__SUBACT,V__ACT))))))
)
)

Merge.kif 11645-11654
No TPTP formula. May not be expressible in strict first order. naics.kif 11941-11953
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16280-16288
No TPTP formula. May not be expressible in strict first order. Economy.kif 4900-4919
( ! [V__X] :
   ((s__instance(V__X,s__CuttingDevice) =>
       (s__capability(s__Cutting,V__X,s__instrument__m)))
     )
   )

Mid-level-ontology.kif 20222-20224
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16357-16365


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