Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

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

[tree]
astitva
is subclass of
  amUrta  
is subclass of
  parimaaNa  

Subclass(es)

anka  bhOtika parimaaNa 

Coordinate term(s)

visheshtaa  aalekha  tatva aalekha  prastaava  sambandha  samUha yaa varga 

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
quantity is kind of (all)...   quantity is kind of...   kinds of quantity...   kinds of quantity (all)...  
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 is opposite to...   quantitative is similar to...  
quantitative
relating to the measurement of quantity; "quantitative studies"
quantitative pertains to noun...  
See more related synsets on a separate page.

Axioms (3)

visheshtaa asansavat parimaaNa se hai.
(disjoint Attribute Quantity)

Agar number is an instance of parimaaNa, to "the reciprocal of number" is equal to "number raised to the power ".
(=>
      (instance ?NUMBER Quantity)
      (equal
            (ReciprocalFn ?NUMBER)
            (ExponentiationFn ?NUMBER -1)))

Agar number is an instance of parimaaNa, to is equal to "number*"the reciprocal of number"".
(=>
      (instance ?NUMBER Quantity)
      (equal
            1
            (MultiplicationFn
                  ?NUMBER
                  (ReciprocalFn ?NUMBER))))