Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi

property fn (PropertyFn)

A UnaryFunction that maps an Agent to the Set of Property owned by the Agent.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

is instance of

inheritable relation

is instance of

is instance of

Coordinate term(s)

absolute value fn abstraction fn arc cosine fn arc sine fn arc tangent fn back fn begin fn begin node fn cardinality fn ceiling fn complement fn cosine fn cut set fn denominator fn end fn end node fn extension fn floor fn front fn future fn generalized intersection fn generalized union fn giga fn imaginary part fn immediate future fn immediate past fn initial node fn integer square root fn kilo fn list length fn magnitude fn mega fn micro fn milli fn minimal cut set fn nano fn numerator fn organization fn past fn path weight fn pico fn power set fn predecessor fn principal host fn probability fn rational number fn real number fn reciprocal fn round fn signum fn sine fn skin fn square root fn successor fn tangent fn tera fn terminal node fn wealth fn when fn year fn

Type restrictions

set PropertyFn(agent)

Related WordNet synsets

worldly possessions, worldly belongings, worldly goods: all the property that you possess; "he left all his worldly possessions to his daughter"
stuff, clobber: informal terms for personal possessions; "did you take all your clobber?"

See more related synsets on a separate page.

Axioms (2)

obj is an instance of "belongings of person" if and only if person posesses obj.

(<=>
      (instance
            ?OBJ
            (PropertyFn ?PERSON))
      (possesses ?PERSON ?OBJ))

"value of belongings of person" is equal to amount if and only if value of "belongings of person" is amount.

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