SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > SquareRootFn

SquareRootFn comparison table

Subject	have domain1	have range	documentation	have axiom	is a kind of	is an instance of
UnaryFunction			The Class of Functions that require a single argument	(=> (instance ?FUNCTION UnaryFunction) (valence ?FUNCTION 1))	Function
SquareRootFn	RealNumber	RealNumber	(SquareRootFn ?NUMBER) is the principal square root of ?NUMBER	(=> (equal (SquareRootFn ?NUMBER1) ?NUMBER2) (equal (MultiplicationFn ?NUMBER2 ?NUMBER2) ?NUMBER1))		UnaryFunction

Next UnaryFunction: SuccessorFn    Up: UnaryFunction    Previous UnaryFunction: SkinFn