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

unary constant functionquantity (UnaryConstantFunctionQuantity)

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

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  

Subclass(es)

time dependent quantity 

Coordinate term(s)

ampere  british thermal unit  calorie  candela  electron volt  farad  gray  henry  joule  lumen  lux  newton  ohm  one to one function  pascal  pound force  siemens  sievert  tesla  volt  watt  weber 

Axioms (1)

If function is an instance of unary constant functionquantity, then the number argument of function is an instance of constant quantity and range of function is an instance of constant quantity. 
(=>
      (instance ?FUNCTION UnaryConstantFunctionQuantity)
      (and
            (domain ?FUNCTION 1 ConstantQuantity)
            (range ?FUNCTION ConstantQuantity)))