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) (ExponentiationFn ?NUMBER -1))
	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