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

min fn (MinFn)

(MinFn number1 number2) is the smallest of number1 and number2. In cases where number1 is equal to number2, MinFn returns one of its arguments.

Ontology

SUMO / NUMERIC-FUNCTIONS

Class(es)

varga
is instance of
  inheritable relation  
is instance of
  dvi-aadhaary prakaarya  
is instance of
sahachaary prakaarya
is instance of
vinimaya-sambandhI prakaarya
is instance of
varga
is instance of
  inheritable relation  
is instance of
  matraaon kaa sanbandha vistaara  
is instance of
is instance of
  min fn  

Coordinate term(s)

addition fn  day fn  density fn  division fn  edition fn  exponentiation fn  graph path fn  hour fn  intersection fn  interval fn  kappa fn  list concatenate fn  list order fn  log fn  max fn  maximal weighted path fn  measure fn  mereological difference fn  mereological product fn  mereological sum fn  minimal weighted path fn  minute fn  month fn  multiplication fn  periodical issue fn  reciprocal fn  recurrent time interval fn  relative complement fn  relative time fn  remainder fn  round fn  second fn  series volume fn  speed fn  subtraction fn  temporal composition fn  time interval fn  union fn  where fn  equal  greater than  greater than or equal to  less than  less than or equal to 

Type restrictions

parimaaNa MinFn(parimaaNa, parimaaNa)

Axioms (1)

Agar "the smaller of number1 and number2" is equal to number, to 
(=>
      (equal
            (MinFn ?NUMBER1 ?NUMBER2)
            ?NUMBER)
      (or
            (and
                  (equal ?NUMBER ?NUMBER1)
                  (lessThan ?NUMBER1 ?NUMBER2))
            (and
                  (equal ?NUMBER ?NUMBER2)
                  (lessThan ?NUMBER2 ?NUMBER1))
            (and
                  (equal ?NUMBER ?NUMBER1)
                  (equal ?NUMBER ?NUMBER2))))