Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi Concept: English word: Home

# 測量 (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

 種類

可繼承關係

二元述詞
 不對稱關係

測量

measure(物體, 物理量)

## Related WordNet synsets

measure
have certain dimensions

mensural
of or relating to measure

See more related synsets on a separate page.

## Axioms (4)

If object測量 是 "在 方向 direction 中 的 ref timedistance", then object測量 是 " timedistance".
```(=>
(measure
?OBJECT
(VelocityFn ?DISTANCE ?TIME ?REF ?DIRECTION))
(measure
?OBJECT
(SpeedFn ?DISTANCE ?TIME)))```

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

If objproc資源 and obj測量quant1 ""proc 存在 的 時間" 不久 之前"a(之中) "proc 存在 的 時間" 不久 之前 and obj測量quant2 ""proc 存在 的 時間" 不久 之後"a(之中) "proc 存在 的 時間" 不久 之後, then quant1 (不) 大於 quant2.
```(=>
(and
(resource ?PROC ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?PROC))
(measure ?OBJ ?QUANT1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?PROC))
(measure ?OBJ ?QUANT2)))
(greaterThan ?QUANT1 ?QUANT2))```

If meas測量實例 and measagent施事者 and objmeas受事者, then there exist quant,unit so that agent (不）知道s) %2 ""meas 存在 的 時間" 不久 之後"a(之中) "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))))))```