 SUMO   View all facts   Glossary   Help Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > RationalNumberFn
Next UnaryFunctionRealNumberFn    UpUnaryFunction    Previous UnaryFunctionRangeFn  RationalNumberFn subject fact
 RationalNumberFn documentation (RationalNumberFn ?NUMBER) returns the rational representation of ?NUMBER has domain1 Number has range RationalNumber 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 is third domain of domainSubclass Abstract is disjoint from Physical  Next UnaryFunctionRealNumberFn    UpUnaryFunction    Previous UnaryFunctionRangeFn