Coloring Comparison Table

Coloring comparison table

Subject documentation is a kind of have axiom

SurfaceAlteration The act of changing the appearance of the surface of an Object Process
(=>
(instance ?PROCESS Process)
(exists (?CAUSE)
(effector ?PROCESS ?CAUSE)))

Coloring The subclass of SurfaceAlteration where a ColorProperty of the patient is altered SurfaceAlteration
(=>
(and
(instance ?COLORING Coloring)
(patient ?COLORING ?OBJ))
(exists (?PROPERTY)
(and
(holdsDuring (ImmediatePastFn (WhenFn ?COLORING)) (attribute ?OBJ ?PROPERTY))
(holdsDuring (ImmediateFutureFn (WhenFn ?COLORING)) (not (attribute ?OBJ ?PROPERTY))))))

Subject	documentation	is a kind of	have axiom
SurfaceAlteration	The act of changing the appearance of the surface of an Object	Process	(=> (instance ?PROCESS Process) (exists (?CAUSE) (effector ?PROCESS ?CAUSE)))
Coloring	The subclass of SurfaceAlteration where a ColorProperty of the patient is altered	SurfaceAlteration	(=> (and (instance ?COLORING Coloring) (patient ?COLORING ?OBJ)) (exists (?PROPERTY) (and (holdsDuring (ImmediatePastFn (WhenFn ?COLORING)) (attribute ?OBJ ?PROPERTY)) (holdsDuring (ImmediateFutureFn (WhenFn ?COLORING)) (not (attribute ?OBJ ?PROPERTY))))))