SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Function > BinaryFunction > ExponentiationFn |
ExponentiationFn | ||||
subject | fact |
ExponentiationFn | documentation (ExponentiationFn ?NUMBER ?INT) returns the RealNumber ?NUMBER raised to the power of the Integer ?INT | |
has axiom (equal (ReciprocalFn ?NUMBER) | ||
has domain1 Quantity | ||
has domain2 Integer | ||
has range Quantity | ||
is an instance of BinaryFunction | ||
is an instance of RelationExtendedToQuantities | ||
BinaryFunction | is first domain of distributes | |
is first domain of identityElement | ||
is second domain of distributes | ||
Class | is third domain of domain | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |