Measuring Comparison Table

Measuring comparison table

Subject documentation is a kind of have axiom

Comparing The Class of MentalProcesses which involve comparing, relating, contrasting, etc. the properties of two or more Entities MentalProcess
(=>
(instance ?PROCESS MentalProcess)
(exists (?ANIMAL)
(and
(instance ?ANIMAL Animal)
(experiencer ?PROCESS ?ANIMAL))))

Measuring The Class of Comparing Processes where the patient is compared with an instance of UnitOfMeasure to determine the PhysicalQuantity of some aspect of the patient Comparing
(=>
(and
(instance ?MEAS Measuring)
(agent ?MEAS ?AGENT)
(patient ?MEAS ?OBJ))
(exists (?QUANT ?UNIT)
(holdsDuring (ImmediateFutureFn (WhenFn ?MEAS))
(knows ?AGENT (measure ?OBJ (MeasureFn ?QUANT ?UNIT))))))

Subject	documentation	is a kind of	have axiom
Comparing	The Class of MentalProcesses which involve comparing, relating, contrasting, etc. the properties of two or more Entities	MentalProcess	(=> (instance ?PROCESS MentalProcess) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (experiencer ?PROCESS ?ANIMAL))))
Measuring	The Class of Comparing Processes where the patient is compared with an instance of UnitOfMeasure to determine the PhysicalQuantity of some aspect of the patient	Comparing	(=> (and (instance ?MEAS Measuring) (agent ?MEAS ?AGENT) (patient ?MEAS ?OBJ)) (exists (?QUANT ?UNIT) (holdsDuring (ImmediateFutureFn (WhenFn ?MEAS)) (knows ?AGENT (measure ?OBJ (MeasureFn ?QUANT ?UNIT))))))