SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Function > BinaryFunction > AssociativeFunction > MinFn |
MinFn | ||||
subject | fact |
MinFn | documentation (MinFn ?NUMBER1 ?NUMBER2) is the smallest of ?NUMBER1 and ?NUMBER2. In cases where ?NUMBER1 is equal to ?NUMBER2, MinFn returns one of its arguments | |
has axiom (=> | ||
has domain1 Quantity | ||
has domain2 Quantity | ||
has range Quantity | ||
is an instance of AssociativeFunction | ||
is an instance of CommutativeFunction | ||
is an instance of RelationExtendedToQuantities | ||
BinaryFunction | is first domain of distributes | |
is first domain of identityElement | ||
is second domain of distributes | ||
Relation | is first domain of domain | |
is first domain of domainSubclass | ||
is first domain of holds | ||
is first domain of subrelation | ||
is first domain of valence | ||
is second domain of subrelation | ||
Class | is third domain of domain | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |
Next AssociativeFunction: MultiplicationFn Up: AssociativeFunction, CommutativeFunction, RelationExtendedToQuantities Previous AssociativeFunction: MaxFn