Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

unary constant functionquantity (UnaryConstantFunctionQuantity)

The class of UnaryFunctions that map from the Class ConstantQuantity to the Class ConstantQuantity.

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

[tree]
entita
is subclass of
  abstraktum  
is subclass of
  veličina  
is subclass of
  fyzikální veličina  
is subclass of
[tree]
entita
is subclass of
  abstraktum  
is subclass of
  relace  
is subclass of
  relace s jedinou hodnotou  
is subclass of
  funkce  
is subclass of
is subclass of
  proměnná veličina  
is subclass of
[tree]
entita
is subclass of
  abstraktum  
is subclass of
  relace  
is subclass of
  relace s jedinou hodnotou  
is subclass of
  funkce  
is subclass of
[tree]
entita
is subclass of
  abstraktum  
is subclass of
  relace  
is subclass of
  binární relace  
is subclass of
is subclass of
  unární funkce  
is subclass of
is subclass of
  unary constant functionquantity  

Podtřída(y)

časově závislá veličina 

Související termín(y)

ampere  british thermal unit  calorie  candela  electron volt  farad  gray  henry  joule  lumen  lux  newton  ohm  prostá funkce na  pascal  pound force  siemens  sievert  tesla  volt  watt  weber 

Axiomy (1)

Jestliže function je instancí třídy unary constant functionquantity, potom th argument of function je an instance of konstantní veličina a range of function je an instance of konstantní veličina. 
(=>
      (instance ?FUNCTION UnaryConstantFunctionQuantity)
      (and
            (domain ?FUNCTION 1 ConstantQuantity)
            (range ?FUNCTION ConstantQuantity)))