Quantitá (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).

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

Entitá

Astratto

Quantitá

Subclass(es)

Numero QuantitáFisica

Coordinate term(s)

Attributo Grafo ElementoDelGrafo Proposizione Relazione InsiemeOClasse

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.

Axioms (3)

Attributo é disgiunto da Quantitá.

(disjoint Attribute Quantity)

Se number é un' istanza di Quantitá, allora "il reciproco di number" is uguale a "number elevato a potenza ".

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

Se number é un' istanza di Quantitá, allora is uguale a "number*"il reciproco di number"".

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