ExponentiationFn concept from the SUMO knowledge base

Next BinaryFunction: HourFn Up: BinaryFunction, RelationExtendedToQuantities Previous BinaryFunction: DensityFn

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
Class	*is third domain* of** domainSubclass
Abstract	*is disjoint* from** Physical