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

# speed fn (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

## Class(es)

 varga

inheritable relation

speed fn

## Coordinate term(s)

addition fn  day fn  density fn  division fn  edition fn  exponentiation fn  graph path fn  hour fn  intersection fn  interval fn  kappa fn  list concatenate fn  list order fn  log fn  max fn  maximal weighted path fn  measure fn  mereological difference fn  mereological product fn  mereological sum fn  min fn  minimal weighted path fn  minute fn  month fn  multiplication fn  periodical issue fn  recurrent time interval fn  relative complement fn  relative time fn  remainder fn  second fn  series volume fn  subtraction fn  temporal composition fn  time interval fn  union fn  where fn

## 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)

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)))```