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

Wesen

abstrakter Gegenstand

Eigenschaft

Subclass(es)

Zahl körperliche Quantität

Coordinate term(s)

Attribut Graph Graphelement Proposition Relation Menge oder Kategorie

Constrains relations

AdditionFn DivisionFn ExponentiationFn MaximumFn MinumumFn MultiplikationFn ReziprokerWert RestFn RundFn SubtraktionFn grösserAls grösserAlsOderGleich kleinerAls kleinerAlsOderGleich

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)

Attribut ist dijunkt von Eigenschaft .

(disjoint Attribute Quantity)

Wenn number ist ein fall von Eigenschaft , dann "der reziprokerwert von number" ist gleich "number in der te Potenz" .

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

Wenn number ist ein fall von Eigenschaft , dann ist gleich "number*"der reziprokerwert von number"" .

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