SUMO   View all facts   Glossary   Help
Entity > Abstract > Quantity > PhysicalQuantity > ConstantQuantity > TimeMeasure > TimeDuration > NanoSecond
Next TimeDurationPicoSecond    UpTimeDuration, UnitOfMeasure    Previous TimeDurationMonthDuration   

NanoSecond comparison table
Subject is an instance of documentation is a kind of be first domain of be second domain of have axiom
TimeDuration Any measure of length of time, with or without respect to the universal timelineTimeMeasureMagnitudeFnfrequency
(=>
(instance ?FUNCTION TimeDependentQuantity)
(domain ?FUNCTION 1 TimeMeasure))
UnitOfMeasure A standard of measurement for some dimension. For example, the Meter is a UnitOfMeasure for the dimension of length, as is the Inch. There is no intrisic property of a UnitOfMeasure that makes it primitive or fundamental; rather, a system-of-units (e.g. SystemeInternationalUnit) defines a set of orthogonal dimensions and assigns units for eachPhysicalQuantitySubtractionFnMeasureFn
(=>
(and
(instance ?REL RelationExtendedToQuantities)
(instance ?REL BinaryRelation)
(instance ?NUMBER1 RealNumber)
(instance ?NUMBER2 RealNumber)
(holds ?REL ?NUMBER1 ?NUMBER2))
(forall (?UNIT)
(=>
(instance ?UNIT UnitOfMeasure)
(holds ?REL (MeasureFn ?NUMBER1 ?UNIT) (MeasureFn ?NUMBER2 ?UNIT)))))
NanoSecondUnitOfMeasureSubmultiple of SecondDuration. Symbol: ns. A UnitOfMeasure equal to one billionth of a SecondDuration SubtractionFnMeasureFn
(equal
(MeasureFn ?NUMBER NanoSecond)
(MeasureFn (MultiplicationFn ?NUMBER 1.0E-9) Second))

Next TimeDurationPicoSecond    UpTimeDuration, UnitOfMeasure    Previous TimeDurationMonthDuration