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

velocity fn (VelocityFn)

Specifies the velocity of an object, i.e. the speed and the direction of the speed. For example (VelocityFn (MeasureFn 55 Mile) (MeasureFn 2 HourDuration) reference North) denotes the velocity of 55 miles per hour North of the given reference point reference.

Ontology

SUMO / UNITS-OF-MEASURE

Class(es)

Classe
is instance of
  inheritable relation  
is instance of
  FunzioneQuaternaria  
is instance of
  velocity fn  

Type restrictions

FunzioneDiQuantitá VelocityFn(MisuraDiLunghezza, Durata, Regione, AttributoDirezionale)

Axioms (1)

Se lamisura object é "distance per time in ref in direzione direction", allora lamisura object é "distance per time". 
(=>
      (measure
            ?OBJECT
            (VelocityFn ?DISTANCE ?TIME ?REF ?DIRECTION))
      (measure
            ?OBJECT
            (SpeedFn ?DISTANCE ?TIME)))