Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi

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

is instance of

inheritable relation

is instance of

zweistellige Funktion
is instance of

is instance of

associative Funktion
is instance of

is instance of

commutative Funktion
is instance of

is instance of

is instance of

inheritable relation

is instance of

Relation erweitert auf Quantitäten
is instance of

is instance of

is instance of

MinumumFn

Coordinate term(s)

AdditionFn TagFn DichteFn DivisionFn AusgabeFn ExponentiationFn GraphPfadFn StundeFn DurchschnittFn AbstandFn KappaFn ListeVerkettenFn ListeOrdnungFn LogarithmusFn MaximumFn MaximalerBelasteterPfadFn MassFn MereologischeDifferenzFn MereologischesProduktFn MereologischeSummeFn MinimalerBelasteterPfadFn MinuteFn MonatFn MultiplikationFn PeriodikumAusgabeFn ReziprokerWert RückläufigeZeitAbstandFn RelativeErgänzungFn RelativeZeitFn RestFn RundFn SekundFn ReiheBandeFn GeschwindigkeitFn SubtraktionFn ZeitlicheAufbauFn ZeitabstandFn VereinigungFn WoFn %1 ist gleich %2 %n{nicht} grösserAls grösserAlsOderGleich kleinerAls kleinerAlsOderGleich

Type restrictions

Eigenschaft MinFn(Eigenschaft, Eigenschaft)

Axioms (1)

Wenn "das kleinere von number1 und number2" ist gleich number , dann

number ist gleich number1 und number1 ist kleinerAls number2
number ist gleich number2 und number2 ist kleinerAls number1
number ist gleich number1 und number ist gleich number2

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