matraaon kaa sanbandha vistaara (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)

varga

inheritable relation

matraaon kaa sanbandha vistaara

Superclass(es)

astitva

amUrta

sambandha

matraaon kaa sanbandha vistaara

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)

dvi-aadhaary prakaarya dvi-lakshana dvi-aadhaarI sambandha vibhakti bhUmikaa prakaarya intentional relation sUchI vastu abhivQtti aanshika mUyaadeya sambandha vidheya sambhaavanaa sambandha prastaavaatmak abhivQtti chaturangI prakaarya caturangii pakshana chaturangI sambandha pancha lakshana panchaangI sambandha eka mUlyaadeya sambandha sthaana sambandha saamayika sambandha tri-angI prakaarya triangii lakshana tri-angI sambandha pUrNa mUlyaadeya sambandha ekaadhaary prakaarya parivartaniiya sanbandha

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

agar rel is an instance of matraaon kaa sanbandha vistaara aur rel is an instance of tri-angI sambandha aur number1 is an instance of vaastavika anka aur number2 is an instance of vaastavika anka aur rel(number1,number2,value) holds,
to sab-kuch unit ke lie hai, ki: agar unit is an instance of maapaka ikaaI, to rel("number1 unit(s)","number2 unit(s)","value unit(s)") holds

(=>
      (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)))))

agar rel is an instance of matraaon kaa sanbandha vistaara aur rel is an instance of dvi-aadhaarI sambandha aur number1 is an instance of vaastavika anka aur number2 is an instance of vaastavika anka aur rel(number1,number2) holds,
to sab-kuch unit ke lie hai, ki: agar unit is an instance of maapaka ikaaI, to rel("number1 unit(s)","number2 unit(s)") holds

(=>
      (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)))))