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

time dependent quantity (TimeDependentQuantity)

A 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 time.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
entity
is subclass of
  abstract  
is subclass of
  quantity  
is subclass of
  physical quantity  
is subclass of
[tree]
entity
is subclass of
  abstract  
is subclass of
  relation  
is subclass of
  single valued relation  
is subclass of
  function  
is subclass of
is subclass of
  function quantity  
is subclass of
[tree]
entity
is subclass of
  abstract  
is subclass of
  relation  
is subclass of
  single valued relation  
is subclass of
  function  
is subclass of
[tree]
entity
is subclass of
  abstract  
is subclass of
  relation  
is subclass of
  binary relation  
is subclass of
is subclass of
  unary function  
is subclass of
is subclass of
  unary constant functionquantity  
is subclass of
[tree]
entity
is subclass of
  abstract  
is subclass of
  relation  
is subclass of
  single valued relation  
is subclass of
  function  
is subclass of
  continuous function  
is subclass of
is subclass of
  time dependent quantity  

Subclass(es)

hertz  coulomb  becquerel 

Related WordNet synsets

See more related synsets on a separate page.

Axioms (1)

If function is an instance of time dependent quantity, then the number argument of function is an instance of time measure. 
(=>
      (instance ?FUNCTION TimeDependentQuantity)
      (domain ?FUNCTION 1 TimeMeasure))