SUMO View all facts Glossary Help| SUMO View all facts Glossary Help |
| Entity > Abstract > Class > Relation > Function > BinaryFunction > LogFn |
  | ||||||
| LogFn comparison table | ||||||
| Subject | have domain2 | have domain1 | have range | documentation | is a kind of | is an instance of |
|---|---|---|---|---|---|---|
| BinaryFunction | The Class of Functions that require two arguments | TernaryRelation | ||||
| LogFn | PositiveInteger | RealNumber | RealNumber | (LogFn ?NUMBER ?INT) returns the logarithm of the RealNumber ?NUMBER in the base denoted by the Integer ?INT | BinaryFunction |
Next BinaryFunction: MeasureFn Up: BinaryFunction Previous BinaryFunction: KappaFn