Detaching Comparison Table

Next Process: Dressing Up: Process Previous Process: Destruction

Detaching comparison table

Subject documentation be disjoint from have axiom

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

Untying The Process of untying two things, or two strands of the same thing Tying
(=>
(instance ?PROCESS Process)
(exists (?CAUSE)
(effector ?PROCESS ?CAUSE)))

Subject	documentation	be disjoint from	have axiom
Cutting	The subclass of Detaching Processes which involve a relatively sharp instrument		(=> (and (instance ?ACT Surgery) (patient ?ACT ?ANIMAL)) (exists (?SUBACT) (and (instance ?SUBACT Cutting) (instance ?ANIMAL Animal) (patient ?ANIMAL ?CUTTING) (subProcess ?SUBACT ?ACT))))
Untying	The Process of untying two things, or two strands of the same thing	Tying	(=> (instance ?PROCESS Process) (exists (?CAUSE) (effector ?PROCESS ?CAUSE)))

Next Process: Dressing Up: Process Previous Process: Destruction