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

ekaadhaarita sthira prakaarya parimaaNa (UnaryConstantFunctionQuantity)

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

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
astitva
is subclass of
  amUrta  
is subclass of
  parimaaNa  
is subclass of
  bhOtika parimaaNa  
is subclass of
[tree]
astitva
is subclass of
  amUrta  
is subclass of
  sambandha  
is subclass of
  eka mUlyaadeya sambandha  
is subclass of
  prakaarya  
is subclass of
is subclass of
  prakaarya parimaaNa  
is subclass of
[tree]
astitva
is subclass of
  amUrta  
is subclass of
  sambandha  
is subclass of
  eka mUlyaadeya sambandha  
is subclass of
  prakaarya  
is subclass of
[tree]
astitva
is subclass of
  amUrta  
is subclass of
  sambandha  
is subclass of
  dvi-aadhaarI sambandha  
is subclass of
is subclass of
  ekaadhaary prakaarya  
is subclass of
is subclass of
  ekaadhaarita sthira prakaarya parimaaNa  

Subclass(es)

samaya aadhaarita parimaaNa 

Coordinate term(s)

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

Axioms (1)

Agar function is an instance of ekaadhaarita sthira prakaarya parimaaNa, to the number argument of function is an instance of sthira parimaaNa aur range of function is an instance of sthira parimaaNa. 
(=>
      (instance ?FUNCTION UnaryConstantFunctionQuantity)
      (and
            (domain ?FUNCTION 1 ConstantQuantity)
            (range ?FUNCTION ConstantQuantity)))