Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi

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)

is instance of

inheritable relation

is instance of

FunzioneBinaria

is instance of

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

Type restrictions

FunzioneDiQuantitá SpeedFn(MisuraDiLunghezza, Durata)

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)

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