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

entity

abstract

quantity

Subclass(es)

number physical quantity

Coordinate term(s)

attribute graph graph element proposition relation set or class

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)

attribute is disjoint from quantity.

(disjoint Attribute Quantity)

If number is an instance of quantity, then "the reciprocal of number" is equal to "number raised to the power ".

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

If number is an instance of quantity, then is equal to "number*"the reciprocal of number"".

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