Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

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.

Ontologie

SUMO / UNITS-OF-MEASURE

Class(es)

třída
is instance of
  inheritable relation  
is instance of
  funkce se čtyřmi argumenty  
is instance of
  velocity fn  

Typy argumentů

proměnná veličina VelocityFn(délková jednotka, trvání, oblast, směrový atribut)

Axiomy (1)

Jestliže the measure of object je "velocity fn(distance,time,ref,direction)", potom the measure of object je "speed fn(distance,time)". 
(=>
      (measure
            ?OBJECT
            (VelocityFn ?DISTANCE ?TIME ?REF ?DIRECTION))
      (measure
            ?OBJECT
            (SpeedFn ?DISTANCE ?TIME)))