veličina (Quantity)

Any specification of how many or how much of something there is. Accordingly, there are two subclasses of Quantity: Number (how many) and PhysicalQuantity (how much).

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

entita

abstraktum

veličina

Podtřída(y)

číslo fyzikální veličina

Související termín(y)

atribut graf prvek grafu výrok relace množina nebo třída

Constrains relations

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

Related WordNet synsets

quantity: something that has a magnitude and can be represented in mathematical expressions by a constant or a variable
quantitative: expressible as a quantity or relating to or susceptible of measurement; "export wheat without quantitative limitations"; "quantitative analysis determines the amounts and proportions of the chemical constituents of a substance or mixture"
quantitative: relating to the measurement of quantity; "quantitative studies"

See more related synsets on a separate page.

Axiomy (3)

atribut je disjoint from veličina.

(disjoint Attribute Quantity)

Jestliže number je instancí třídy veličina, potom "reciprocal fn(number)" se rovná "exponentiation fn(number,)".

(=>
      (instance ?NUMBER Quantity)
      (equal
            (ReciprocalFn ?NUMBER)
            (ExponentiationFn ?NUMBER -1)))

Jestliže number je instancí třídy veličina, potom se rovná "number*"reciprocal fn(number)"".

(=>
      (instance ?NUMBER Quantity)
      (equal
            1
            (MultiplicationFn
                  ?NUMBER
                  (ReciprocalFn ?NUMBER))))