SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Function > BinaryFunction > AssociativeFunction > MaxFn |
MaxFn | ||||
subject | fact |
MaxFn | documentation (MaxFn ?NUMBER1 ?NUMBER2) is the largest of ?NUMBER1 and ?NUMBER2. In cases where ?NUMBER1 is equal to ?NUMBER2, MaxFn 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: MinFn Up: AssociativeFunction, CommutativeFunction, RelationExtendedToQuantities Previous AssociativeFunction: DivisionFn