PropertyFn Comparison Table

Next UnaryFunction: RangeFn Up: UnaryFunction Previous UnaryFunction: PrincipalHostFn

PropertyFn 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

PropertyFn Agent Set A UnaryFunction that maps an Agent to the Set of Property owned by the Agent
(<=>
(equal (WealthFn ?PERSON) ?AMOUNT)
(monetaryValue (PropertyFn ?PERSON) ?AMOUNT))
UnaryFunction

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
PropertyFn	Agent	Set	A UnaryFunction that maps an Agent to the Set of Property owned by the Agent	(<=> (equal (WealthFn ?PERSON) ?AMOUNT) (monetaryValue (PropertyFn ?PERSON) ?AMOUNT))		UnaryFunction

Next UnaryFunction: RangeFn Up: UnaryFunction Previous UnaryFunction: PrincipalHostFn