SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > ContinuousFunction
Next FunctionFunctionQuantity    UpFunction    Previous FunctionBinaryFunction   

ContinuousFunction comparison table
Subject be third domain of documentation be disjoint from is a kind of be second domain of be first domain of partition into have axiom
TimeDependentQuantitydomainSubclassA UnaryConstantFunction of continuous time. All instances of this Class map a time quantity into another ConstantQuantity such as temperature. For example, 'the temperature at the top of the Empire State Building' is a TimeDependentQuantity since its value depends on the timePhysicalUnaryConstantFunctionQuantityinverserangeSubclassConstantQuantity, FunctionQuantity
(=>
(instance ?FUNCTION TimeDependentQuantity)
(domain ?FUNCTION 1 TimeMeasure))

Next FunctionFunctionQuantity    UpFunction    Previous FunctionBinaryFunction