RelazioneEstesaAQuantitá (RelationExtendedToQuantities)

A RelationExtendedToQuantities is a Relation that, when it is true on a sequence of arguments that are RealNumbers, it is also true on a sequence of ConstantQuantites with those magnitudes in some unit of measure. For example, the lessThan relation is extended to quantities. This means that for all pairs of quantities quantity1 and quantity2, (lessThan quantity1 quantity2) if and only if, for some number1, number2, and unit, quantity1 = (MeasureFn number1 unit), quantity2 = (MeasureFn number2 unit), and (lessThan number1 number2), for all units unit on which quantity1 and quantity2 can be measured. Note that, when a RelationExtendedToQuantities is extended from RealNumbers to ConstantQuantities, the ConstantQuantities must be measured along the same physical dimension.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

Classe

inheritable relation

RelazioneEstesaAQuantitá

Superclass(es)

Entitá

Astratto

Relazione

RelazioneEstesaAQuantitá

Instance(s)

equal less than greater than less than or equal to greater than or equal to multiplication fn addition fn subtraction fn division fn exponentiation fn max fn min fn reciprocal fn remainder fn round fn

Coordinate term(s)

FunzioneBinaria PredicatoBinario RelazioneBinaria RuoloSemantico Funzione intentional relation Lista AtteggiamentoOggettuale RelazioneAValoreParziale Predicato RelazioneDiProbabilitá AtteggiamentoProposizionale FunzioneQuaternaria PredicatoQuaternario RelazioneQuaternaria PredicatoQuinquenario RelazioneQuinquenaria RelazioneMonovalente RelazioneSpaziale RelazioneTemporale FunzioneTernaria PredicatoTernario RelazioneTernaria RelazioneAValoreTotale FunzioneUnaria RelazioneAdAritáVariabile

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

se rel é un' istanza di RelazioneEstesaAQuantitá e rel é un' istanza di RelazioneTernaria e number1 é un' istanza di NumeroReale e number2 é un' istanza di NumeroReale e rel(number1,number2,value vales,
allora per ogni unit vale: se unit é un' istanza di UnitáDiMisura, allora rel("number1 unit(s","number2 unit(s","value unit(s" vales

(=>
      (and
            (instance ?REL RelationExtendedToQuantities)
            (instance ?REL TernaryRelation)
            (instance ?NUMBER1 RealNumber)
            (instance ?NUMBER2 RealNumber)
            (holds ?REL ?NUMBER1 ?NUMBER2 ?VALUE))
      (forall
            (?UNIT)
            (=>
                  (instance ?UNIT UnitOfMeasure)
                  (holds
                        ?REL
                        (MeasureFn ?NUMBER1 ?UNIT)
                        (MeasureFn ?NUMBER2 ?UNIT)
                        (MeasureFn ?VALUE ?UNIT)))))

se rel é un' istanza di RelazioneEstesaAQuantitá e rel é un' istanza di RelazioneBinaria e number1 é un' istanza di NumeroReale e number2 é un' istanza di NumeroReale e rel(number1,number2 vales,
allora per ogni unit vale: se unit é un' istanza di UnitáDiMisura, allora rel("number1 unit(s","number2 unit(s" vales

(=>
      (and
            (instance ?REL RelationExtendedToQuantities)
            (instance ?REL BinaryRelation)
            (instance ?NUMBER1 RealNumber)
            (instance ?NUMBER2 RealNumber)
            (holds ?REL ?NUMBER1 ?NUMBER2))
      (forall
            (?UNIT)
            (=>
                  (instance ?UNIT UnitOfMeasure)
                  (holds
                        ?REL
                        (MeasureFn ?NUMBER1 ?UNIT)
                        (MeasureFn ?NUMBER2 ?UNIT)))))