SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > BinaryFunction > AssociativeFunction > MaxFn
Next AssociativeFunctionMinFn    UpAssociativeFunction, CommutativeFunction, RelationExtendedToQuantities    Previous AssociativeFunctionDivisionFn   

MaxFndocumentation (MaxFn ?NUMBER1 ?NUMBER2) is the largest of ?NUMBER1 and ?NUMBER2. In cases where ?NUMBER1 is equal to ?NUMBER2, MaxFn returns one of its arguments2001-11-30 13:34:39.0
has axiom
(equal (MaxFn ?NUMBER1 ?NUMBER2) ?NUMBER)
(equal ?NUMBER ?NUMBER1)
(greaterThan ?NUMBER1 ?NUMBER2))
(equal ?NUMBER ?NUMBER2)
(greaterThan ?NUMBER2 ?NUMBER1))
(equal ?NUMBER ?NUMBER1)
(equal ?NUMBER ?NUMBER2))))
2001-11-30 13:34:39.0
has domain1 Quantity2001-11-30 13:34:39.0
has domain2 Quantity2001-11-30 13:34:39.0
has range Quantity2001-11-30 13:34:39.0
is an instance of AssociativeFunction2001-11-30 13:34:39.0
is an instance of CommutativeFunction2001-11-30 13:34:39.0
is an instance of RelationExtendedToQuantities2001-11-30 13:34:39.0
BinaryFunctionis first domain of distributes2001-11-30 13:33:43.0
is first domain of identityElement2001-11-30 13:33:43.0
is second domain of distributes2001-11-30 13:33:43.0
Relationis first domain of domain2001-11-30 13:35:10.0
is first domain of domainSubclass2001-11-30 13:35:10.0
is first domain of holds2001-11-30 13:35:10.0
is first domain of subrelation2001-11-30 13:35:10.0
is first domain of valence2001-11-30 13:35:10.0
is second domain of subrelation2001-11-30 13:35:10.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Next AssociativeFunctionMinFn    UpAssociativeFunction, CommutativeFunction, RelationExtendedToQuantities    Previous AssociativeFunctionDivisionFn