¤Á³Î (Cutting)
The subclass of Poking Processes which
involve a sharp instrument.
Ontology
SUMO / PROCESSESSuperclass(es)
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))))