shu4 liang4 (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)

shi2 ti3

chou1 xiang4 de5

shu4 liang4

Subclass(es)

shu4 wu4 li3 liang4

Coordinate term(s)

shu3 xing4 tu2 tu2 yuan2 jian4 ming4 ti2 guan1 xi4 ji2 he2 huo4 zhong3 lei4

Constrains relations

jia1 fa3 han2 shu4 chu2 fa3 han2 shu4 zhi3 shu4 han2 shu4 zui4 da4 zhi2 han2 shu4 zui4 xiao3 zhi2 han2 shu4 cheng2 fa3 han2 shu4 dao3 shu4 han2 shu4 yu2 shu4 han2 shu4 zheng3 shu4 han2 shu4 jian3 fa3 han2 shu4 da4 yu1 da4 yu1 huo4 deng3 yu1 xiao3 yu1 xiao3 yu1 huo4 deng3 yu1

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)

shu3 xing4 wu2 jiao1 ji2 yu1 shu4 liang4.

(disjoint Attribute Quantity)

If number shi4 shu4 liang4 de5 shi2 li4, then "number de5 dao3 shu4" deng3 yu1 "number cheng2 yi3 ci4 fang1".

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

If number shi4 shu4 liang4 de5 shi2 li4, then deng3 yu1 "number*"number de5 dao3 shu4"".

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