ArcCosineFn concept from the SUMO knowledge base

Next UnaryFunction: ArcSineFn Up: UnaryFunction Previous UnaryFunction: AbstractionFn

Next UnaryFunction: ArcSineFn Up: UnaryFunction Previous UnaryFunction: AbstractionFn

ArcCosineFn	*documentation* (ArcCosineFn ?NUMBER) returns the arc cosine of the RealNumber ?NUMBER. It is the inverse of CosineFn
	has domain1 RealNumber
	has inverse CosineFn
	has range PlaneAngleMeasure
	*is an instance* of** UnaryFunction
UnaryFunction	has axiom (<=> (and (holds ?REL ?INST1 ?INST2) (instance ?REL UnaryFunction)) (equal (AssignmentFn ?REL ?INST1) ?INST2))
	has axiom (=> (and (closedOn ?FUNCTION ?CLASS) (instance ?FUNCTION UnaryFunction)) (forall (?INST) (=> (instance ?INST ?CLASS) (instance (AssignmentFn ?FUNCTION ?INST) ?CLASS))))
	has axiom (=> (and (instance ?FUNCTION UnaryFunction) (equal (AssignmentFn ?FUNCTION ?ARG) ?VALUE1) (equal (AssignmentFn ?FUNCTION ?ARG) ?VALUE2)) (equal ?VALUE1 ?VALUE2))
	has axiom (=> (instance ?FUNCTION UnaryFunction) (valence ?FUNCTION 1))
BinaryRelation	*is first domain* of** DomainFn
	*is first domain* of** equivalenceRelationOn
	*is first domain* of** inverse
	*is first domain* of** irreflexiveOn
	*is first domain* of** partialOrderingOn
	*is first domain* of** RangeFn
	*is first domain* of** reflexiveOn
	*is first domain* of** totalOrderingOn
	*is first domain* of** trichotomizingOn
	*is second domain* of** inverse
Function	*is first domain* of** AssignmentFn
	*is first domain* of** closedOn
	*is first domain* of** range
	*is first domain* of** rangeSubclass
Class	*is third domain* of** domain
Class	*is third domain* of** domainSubclass
Abstract	*is disjoint* from** Physical


*ArcCosineFn*
subject			fact