SUMO   View all facts   Glossary   Help
Entity > Physical > Process > IntentionalProcess > MentalProcess > Comparing
Next MentalProcess: Counting    Up: MentalProcess    Previous MentalProcess: Selecting   

Comparing comparison table
Subject documentation be disjoint from is a kind of be second domain of be first domain of have axiom
MeasuringThe Class of Comparing Processes where the patient is compared with an instance of UnitOfMeasure to determine the PhysicalQuantity of some aspect of the patientNonintentionalProcessComparingsubProcesssubProcess
(=>
    (and
       (instance ?MEAS Measuring)
       (agent ?MEAS ?AGENT)
       (patient ?MEAS ?OBJ))
    (exists (?QUANT ?UNIT)
       (holdsDuring (ImmediateFutureFn (WhenFn ?MEAS))
          (knows ?AGENT (measure ?OBJ (MeasureFn ?QUANT ?UNIT))))))

Next MentalProcess: Counting    Up: MentalProcess    Previous MentalProcess: Selecting