Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi

Füllefn (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

SUMO / UNITS-OF-MEASURE

Class(es)

is instance of

inheritable relation

is instance of

einstellige Funktion

is instance of

Füllefn

Coordinate term(s)

AbsolutbetragFn AbstraktionFn ArcuskosinusFn ArcussinusFn ArcustangensFn RückseiteFn AnfangFn BeginNullPunktFn KardinalitätFn ObersteGrenzeFn ErgänzungFn KosinusFn SchnittMengeFn NennerFn EndeFn EndeNullPunktFn ExtensionFn UntersteGrenzeFn FrontseiteFn ZukunftFn GeneralisierteDurchschnittFn GeneralisierteVereinigungFn GigaFn ImaginäresTeilFn SofortigeZukunftFn DirektVergangenheitFn AusgangsNullPunktFn GanzzahlQuadratwurzelFn KiloFn ListeLängeFn GrösseFn MegaFn MicroFn MilliFn MinimaleSchnittMengeFn NanoFn ZählerFn OrganisationFn VergangenheitFn PfadGewichtfn PicoFn PotenzMengeFn VorgängerFn HauptwirtFn Wahrscheinlichkeit EigentumFn RationaleZahlFn ReelleZahlfn ReziprokerWert RundFn SignumFn SinusFn OberflächeFn QuadratwurzelFn NachfolgerFn TangensFn TeraFn TerminalNullPunktFn WennFn JahrFn

Type restrictions

Währungma WealthFn(Agent)

Related WordNet synsets

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.

Axioms (1)

"wert von dem Eigentum von person" ist gleich amount nur wenn wert von "eigentum von person" ist amount.

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