SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > WealthFn
Next UnaryFunctionWhenFn    UpUnaryFunction    Previous UnaryFunctionUnaryConstantFunctionQuantity   

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
(=>
(instance ?FUNCTION UnaryFunction)
(valence ?FUNCTION 1))
Function 
WealthFnAgentCurrencyMeasureA 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
(<=>
(equal (WealthFn ?PERSON) ?AMOUNT)
(monetaryValue (PropertyFn ?PERSON) ?AMOUNT))
 UnaryFunction

Next UnaryFunctionWhenFn    UpUnaryFunction    Previous UnaryFunctionUnaryConstantFunctionQuantity