Cutting Comparison Table

Entity > Physical > Process > Detaching > Cutting

Next Detaching: Untying Up: Detaching

Cutting comparison table

Subject documentation is a kind of have axiom

Detaching A Process where the agent detaches one thing from something else. Note that this is different from Removing in that neither of the two things which are detached may be removed from the location where it was attached Process
(=>
(instance ?PROCESS Process)
(exists (?CAUSE)
(effector ?PROCESS ?CAUSE)))

Cutting The subclass of Detaching Processes which involve a relatively sharp instrument Detaching
(=>
(and
(instance ?ACT Surgery)
(patient ?ACT ?ANIMAL))
(exists (?SUBACT)
(and
(instance ?SUBACT Cutting)
(instance ?ANIMAL Animal)
(patient ?ANIMAL ?CUTTING)
(subProcess ?SUBACT ?ACT))))

Subject	documentation	is a kind of	have axiom
Detaching	A Process where the agent detaches one thing from something else. Note that this is different from Removing in that neither of the two things which are detached may be removed from the location where it was attached	Process	(=> (instance ?PROCESS Process) (exists (?CAUSE) (effector ?PROCESS ?CAUSE)))
Cutting	The subclass of Detaching Processes which involve a relatively sharp instrument	Detaching	(=> (and (instance ?ACT Surgery) (patient ?ACT ?ANIMAL)) (exists (?SUBACT) (and (instance ?SUBACT Cutting) (instance ?ANIMAL Animal) (patient ?ANIMAL ?CUTTING) (subProcess ?SUBACT ?ACT))))

Next Detaching: Untying Up: Detaching