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

# 硉ㄧ计 (SpeedFn)

Maps an instance of LengthMeasure and an instance of TimeDuration to the speed represented by this proportion of distance and time. For example, (SpeedFn (MeasureFn 55 Mile)(MeasureFn 1 HourDuration)) represents the velocity of 55 miles per hour.

## Ontology

SUMO / UNITS-OF-MEASURE

 贺摸

膥┯闽玒

じㄧ计

硉ㄧ计

## Coordinate term(s)

猭ㄧ计  らㄧ计  盞ㄧ计  埃猭ㄧ计  ゅセセㄧ计  计ㄧ计  瓜隔畖ㄧ计  ㄧ计  ユ栋ㄧ计  丁筳ㄧ计  贺摸磞瓃ㄧ计  挡ㄧ计  ㄧ计  癸计ㄧ计  程ㄧ计  程秖隔畖ㄧ计  代秖ㄧ计  场だ俱砰畉钵ㄧ计  场だ俱砰ユ栋ㄧ计  场だ俱砰羆ㄧ计  程ㄧ计  程秖隔畖ㄧ计  だ牧ㄧ计  るㄧ计  猭ㄧ计  戳戳ㄧ计  秅戳┦禯ㄧ计  闽玒が干ㄧ计  癸丁ㄧ计  緇计ㄧ计  牧ㄧ计  ╰ㄧ计  搭猭ㄧ计  丁虫ㄧ计  丁菌祘ㄧ计  羛栋ㄧ计  竚ㄧ计

## Type restrictions

ㄧ计秖 SpeedFn(虫, 尿丁)

## Related WordNet synsets

acceleration unit
a unit for measuring acceleration

speed, velocity
distance travelled per unit time

See more related synsets on a separate page.

## Axioms (1)

If object代秖 琌 " よ direction い  ref time Τ distance", then object代秖 琌 " time Τ distance".
```(=>
(measure
?OBJECT
(VelocityFn ?DISTANCE ?TIME ?REF ?DIRECTION))
(measure
?OBJECT
(SpeedFn ?DISTANCE ?TIME)))```