Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

¤Á³Î (Cutting)

The subclass of Poking Processes which involve a sharp instrument.

Ontology

SUMO / PROCESSES

Superclass(es)

[tree]
¹êÅé
is subclass of
  ª«½èªº  
is subclass of
  ¾úµ{  
is subclass of
  ·N¦V©Ê¾úµ{  
is subclass of
  ÂW  
is subclass of
  ¤Á³Î  

Related WordNet synsets

See more related synsets on a separate page.

Axioms (1)

If act ¬O ¥~¬ì¤â³N ªº ¹ê¨Ò and animal ¬O act ªº ¨ü¨ÆªÌ, then there exists ¤Á³Î subact so that animal ¬O °Êª« ªº ¹ê¨Ò and cutting ¬O animal ªº ¨ü¨ÆªÌ and subact ¬O act ªº ¦¸¾úµ{.
(=>
      (and
            (instance ?ACT Surgery)
            (patient ?ACT ?ANIMAL))
      (exists
            (?SUBACT)
            (and
                  (instance ?SUBACT Cutting)
                  (instance ?ANIMAL Animal)
                  (patient ?ANIMAL ?CUTTING)
                  (subProcess ?SUBACT ?ACT))))