SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > WealthFn |
WealthFn 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 | (=> | Function | |||
WealthFn | Agent | CurrencyMeasure | A UnaryFunction that maps an Agent to a CurrencyMeasure specifying the value of the property owned by the Agent. Note that this Function is generally used in conjunction with the Function PropertyFn, e.g. (WealthFn (PropertyFn BillGates)) would return the monetary value of the sum of Bill Gates' holdings | (<=> | UnaryFunction |
Next UnaryFunction: WhenFn Up: UnaryFunction Previous UnaryFunction: UnaryConstantFunctionQuantity