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

FunzioneDiQuantitáUnariaECostante (UnaryConstantFunctionQuantity)

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

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Quantitá  
is subclass of
  QuantitáFisica  
is subclass of
[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Relazione  
is subclass of
  RelazioneMonovalente  
is subclass of
  Funzione  
is subclass of
is subclass of
  FunzioneDiQuantitá  
is subclass of
[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Relazione  
is subclass of
  RelazioneMonovalente  
is subclass of
  Funzione  
is subclass of
[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Relazione  
is subclass of
  RelazioneBinaria  
is subclass of
is subclass of
  FunzioneUnaria  
is subclass of
is subclass of
  FunzioneDiQuantitáUnariaECostante  

Subclass(es)

QuantitáDipendenteDalTempo 

Coordinate term(s)

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

Axioms (1)

Se function é un' istanza di FunzioneDiQuantitáUnariaECostante, allora il numero argomenti di function é un istanza di QuantitáCostante e rango di function é un'istanza di QuantitáCostante. 
(=>
      (instance ?FUNCTION UnaryConstantFunctionQuantity)
      (and
            (domain ?FUNCTION 1 ConstantQuantity)
            (range ?FUNCTION ConstantQuantity)))