measuring (Measuring)
The Class of Calculating Processes where
the aim is to determine the PhysicalQuantity of some aspect of the patient.
Ontology
SUMO / PROCESSESSuperclass(es)
Coordinate term(s)
counting
Related WordNet synsets
- measurement, measuring, measure, mensuration
- the act or process of measuring; "he made a careful measurement"; "his mental measurings proved remarkably accurate"
- measured
- determined by measurement; "the measured distance was less than a mile"
- unmeasured (opposite)
- not measured
See more related synsets on a separate page.
Axioms (1)
If meas is an instance of measuring and meas is an agent of agent and obj is a patient of meas, then there exist quant,unit so that agent knows "the measure of obj is "quant unit(s)"" immediately after "the time of existence of meas".
(=>
(and
(instance ?MEAS Measuring)
(agent ?MEAS ?AGENT)
(patient ?MEAS ?OBJ))
(exists
(?QUANT ?UNIT)
(holdsDuring
(ImmediateFutureFn
(WhenFn ?MEAS))
(knows
?AGENT
(measure
?OBJ
(MeasureFn ?QUANT ?UNIT))))))