財產函數 (WealthFn)

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.

Ontology

money: wealth reckoned in terms of money: "all his money is in real estate"
estate: all of your assets (whether real or personal property) and liabilities
gross estate: the total valuation of the estate's assets at the time of the person's death
circumstances: the state (usually personal) with regard to wealth; "each person was helped according to his circumstances"

See more related synsets on a separate page.

"person 的財產的價值" 等於 amount if and only if "person 的附屬物" 的價值是 amount.

(<=>
      (equal
            (WealthFn ?PERSON)
            ?AMOUNT)
      (monetaryValue
            (PropertyFn ?PERSON)
            ?AMOUNT))