Striking Comparison Table

Striking comparison table

Subject documentation be disjoint from is a kind of have axiom

Impacting The Class of Processes where something comes into sudden, forceful, physical contact with something else. Some examples would be striking, knocking, whipping etc Process
(=>
(and
(instance ?IMPACT Impacting)
(instrument ?IMPACT ?INST)
(patient ?IMPACT ?PLACE))
(holdsDuring (WhenFn ?IMPACT) (connected ?INST ?PLACE)))

IntentionalProcess A Process that is deliberately set in motion by a CognitiveAgent NonintentionalProcess Process
(=>
(instance ?PROC IntentionalProcess)
(exists (?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))

Striking The Class of Impactings that are intentionally caused by a CognitiveAgent NonintentionalProcess IntentionalProcess
(=>
(instance ?PROC IntentionalProcess)
(exists (?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))

Subject	documentation	be disjoint from	is a kind of	have axiom
Impacting	The Class of Processes where something comes into sudden, forceful, physical contact with something else. Some examples would be striking, knocking, whipping etc		Process	(=> (and (instance ?IMPACT Impacting) (instrument ?IMPACT ?INST) (patient ?IMPACT ?PLACE)) (holdsDuring (WhenFn ?IMPACT) (connected ?INST ?PLACE)))
IntentionalProcess	A Process that is deliberately set in motion by a CognitiveAgent	NonintentionalProcess	Process	(=> (instance ?PROC IntentionalProcess) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?PROC ?AGENT))))
Striking	The Class of Impactings that are intentionally caused by a CognitiveAgent	NonintentionalProcess	IntentionalProcess	(=> (instance ?PROC IntentionalProcess) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?PROC ?AGENT))))