SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Function > BinaryFunction > LogFn |
LogFn | ||||
subject | fact |
LogFn | documentation (LogFn ?NUMBER ?INT) returns the logarithm of the RealNumber ?NUMBER in the base denoted by the Integer ?INT | |
has domain1 RealNumber | ||
has domain2 PositiveInteger | ||
has range RealNumber | ||
is an instance of BinaryFunction | ||
BinaryFunction | has axiom (<=> | |
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
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 |
Next BinaryFunction: MeasureFn Up: BinaryFunction Previous BinaryFunction: KappaFn