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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cutting
CuttingCortar, Tagliare, abscise, anatomise, anatomize, ax, axe, beardless, bite, break_up, bushwhack, center_punch, chatter, chop_off, chopped, clean-shaven, cleave, clipped, close-hauled, counter-drill, couper, 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, kataaii, keratotomy, lacerate, laminate, laparoscopy...

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


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

Merge.kif 12222-12223
s__documentation(s__Cutting,s__EnglishLanguage,'The subclass of Poking Processes which involve a sharp instrument.')

Merge.kif 12220-12221
s__subclass(s__Cutting,s__Poking)

Merge.kif 12219-12219

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


s__instance(s__Cutting,s__SetOrClass)

Mid-level-ontology.kif 19753-19753
s__termFormat(s__ChineseLanguage,s__Cutting,'切开')

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

english_format.kif 851-851
s__termFormat(s__FrenchLanguage,s__Cutting,'couper')

french_format.kif 842-842
s__termFormat(s__Hindi,s__Cutting,'kataaii')

terms-hindi.txt 374-374
s__termFormat(s__ItalianLanguage,s__Cutting,'Tagliare')

terms-it.txt 375-375
s__termFormat(s__PortugueseLanguage,s__Cutting,'Cortar')

portuguese_format.kif 794-794
s__termFormat(s__cb__m,s__Cutting,'pagputol')

terms-cb.txt 379-379
s__termFormat(s__cz__m,s__Cutting,'cutting')

terms-cz.txt 413-413
s__termFormat(s__tg__m,s__Cutting,'pagputol')

terms-tg.txt 378-378

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


( ! [V__B,V__CUT,V__OBJ] :
   ((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 19744-19751
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15813-15847
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15862-15882

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


( ! [V__ACT,V__ANIMAL] :
   ((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 12135-12144
No TPTP formula. May not be expressible in strict first order. naics.kif 11859-11871
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15777-15785
No TPTP formula. May not be expressible in strict first order. Economy.kif 4900-4916
( ! [V__X] :
   (s__instance(V__X,s__CuttingDevice) =>
     s__capability(s__Cutting,V__X,s__instrument__m))
   )

Mid-level-ontology.kif 19724-19726
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15852-15860


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