measure (measure)

A very general Predicate for asserting that a particular Object is measured by a particular ConstantQuantity. In general, the second argument of this Predicate will be an instance of the Function MeasureFn.

Ontology

SUMO / UNITS-OF-MEASURE

Class(es)

varga

inheritable relation

dvi-lakshana
is instance of

asaamanjasyapUrNa sambandha
is instance of

measure

Subrelation(s)

age length monetary value

Coordinate term(s)

back fn cardinality fn front fn principal host fn probability fn skin fn arc weight attribute authors before or equal causes causes subclass citizen closed on completely fills connected contains information cooccur copy crosses date decreases likelihood developmental form disjoint distributes documentation duration earlier editor element employs equal equivalence relation on exploits expressed in language faces family relation fills finishes frequency graph part greater than greater than or equal to has purpose has skill holds during holds obligation holds right hole identity element immediate instance immediate subclass in list in scope of interest increases likelihood independent probability inhabits inhibits initial list instance inverse irreflexive on larger less than less than or equal to manner material meets temporally member modal attribute overlaps temporally parent partial ordering on partially fills partly located path length penetrates possesses precondition prevents proper part properly fills property publishes range range subclass realization refers reflexive on related internal concept sibling smaller starts sub attribute sub collection sub graph sub list sub process sub proposition subclass subrelation subsumes content class subsumes content instance successor attribute successor attribute closure surface temporal part time total ordering on trichotomizing on uses valence version

Type restrictions

measure(object, bhOtika parimaaNa)

Related WordNet synsets

measure: have certain dimensions
mensural: of or relating to measure

See more related synsets on a separate page.

Axioms (4)

Agar the measure of object is "distance per time in ref in the direction direction", to the measure of object is "distance per time".

(=>
      (measure
            ?OBJECT
            (VelocityFn ?DISTANCE ?TIME ?REF ?DIRECTION))
      (measure
            ?OBJECT
            (SpeedFn ?DISTANCE ?TIME)))

agar obj1 is larger than obj2,
to sab-kuch quant1,quant2 ke lie hai, ki: agar the measure of obj1 is "quant1 lambaaI maapa(s)" aur the measure of obj2 is "quant2 lambaaI maapa(s)", to quant1 is greater than quant2

(=>
      (larger ?OBJ1 ?OBJ2)
      (forall
            (?QUANT1 ?QUANT2)
            (=>
                  (and
                        (measure
                              ?OBJ1
                              (MeasureFn ?QUANT1 LengthMeasure))
                        (measure
                              ?OBJ2
                              (MeasureFn ?QUANT2 LengthMeasure)))
                  (greaterThan ?QUANT1 ?QUANT2))))

Agar obj is a resource for proc aur the measure of obj is quant1 immediately before "the time of existence of proc" aur the measure of obj is quant2 immediately after "the time of existence of proc", to quant1 is greater than quant2.

(=>
      (and
            (resource ?PROC ?OBJ)
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?PROC))
                  (measure ?OBJ ?QUANT1))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?PROC))
                  (measure ?OBJ ?QUANT2)))
      (greaterThan ?QUANT1 ?QUANT2))

Agar meas is an instance of maapana aur meas agent kaa kaaran hai aur obj is a patient of meas, to yah kuch quant,unit nahin, ki 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))))))