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

時間依變量 (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]
實體
is subclass of
  抽象的  
is subclass of
  數量  
is subclass of
  物理量  
is subclass of
[tree]
實體
is subclass of
  抽象的  
is subclass of
  關係  
is subclass of
  單值關係  
is subclass of
  函數  
is subclass of
is subclass of
  函數量  
is subclass of
[tree]
實體
is subclass of
  抽象的  
is subclass of
  關係  
is subclass of
  單值關係  
is subclass of
  函數  
is subclass of
[tree]
實體
is subclass of
  抽象的  
is subclass of
  關係  
is subclass of
  二元關係  
is subclass of
is subclass of
  一元函數  
is subclass of
is subclass of
  一元恆定函數量  
is subclass of
[tree]
實體
is subclass of
  抽象的  
is subclass of
  關係  
is subclass of
  單值關係  
is subclass of
  函數  
is subclass of
  連續函數  
is subclass of
is subclass of
  時間依變量  

Subclass(es)

頻率單位-赫茲  庫侖  放射性活度單位 

Related WordNet synsets

See more related synsets on a separate page.

Axioms (1)

If function 是 時間依變量 的 實例, then function 的 論元 是 時間單位 的 實例. 
(=>
      (instance ?FUNCTION TimeDependentQuantity)
      (domain ?FUNCTION 1 TimeMeasure))