Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
WealthFn
Sigma KEE - WealthFn
WealthFn
appearance as argument number 1
(
documentation
WealthFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
Agent
和 指明这个
Agent
所拥有的财产的价值以一个
CurrencyMeasure
联系起来。注:这个
Function
一般 和
Function
PropertyFn
结合起来应用,例如:(
WealthFn
(
PropertyFn
BillGates))会得出比尔 盖茨控股的总货币价值。")
chinese_format.kif 2670-2673
(
documentation
WealthFn
EnglishLanguage
"A
UnaryFunction
that maps an
AutonomousAgent
to a
CurrencyMeasure
specifying the value of the property owned by the
AutonomousAgent
. 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.")
Merge.kif 7817-7821
(
documentation
WealthFn
JapaneseLanguage
"
UnaryFunction
は、
Agent
を
Agent
が所有する プロパティの値を指定する
CurrencyMeasure
にマップする。注:この
Function
は一般に
Function
PropertyFn
と組み合わせて使用される。例:(
WealthFn
(
PropertyFn
BillGates)) は、ビル・ゲ イツの保有額の金額を返す。")
japanese_format.kif 1390-1393
(
domain
WealthFn
1
AutonomousAgent
)
Merge.kif 7814-7814
The number 1 argument of
wealth
is an
instance
of
agent
(
instance
WealthFn
TotalValuedRelation
)
Merge.kif 7813-7813
Wealth
is an
instance
of
total valued relation
(
instance
WealthFn
UnaryFunction
)
Merge.kif 7812-7812
Wealth
is an
instance
of
unary function
(
range
WealthFn
CurrencyMeasure
)
Merge.kif 7815-7815
The
range
of
wealth
is an instance of
currency measure
appearance as argument number 2
(
format
ChineseLanguage
WealthFn
"属于 %1 的资产值")
chinese_format.kif 663-663
(
format
EnglishLanguage
WealthFn
"value of belongings of %1")
english_format.kif 666-666
(
format
FrenchLanguage
WealthFn
"valeur de ce que poss�de %1")
french_format.kif 398-398
(
format
ItalianLanguage
WealthFn
"valore delle appartenenze di %1")
relations-it.txt 313-313
(
format
JapaneseLanguage
WealthFn
"%1 の所有物の value")
japanese_format.kif 2128-2128
(
format
PortugueseLanguage
WealthFn
"valor da propriedade de %1")
portuguese_format.kif 350-350
(
format
cz
WealthFn
"value of belongings of %1")
relations-cz.txt 407-407
(
format
de
WealthFn
"wert von dem Eigentum von %1")
relations-de.txt 867-867
(
format
hi
WealthFn
"%1 ke sampatti kaa muulya")
relations-hindi.txt 348-348
(
format
ro
WealthFn
"value%t{valoarea} bunurilor lui %1")
relations-ro.kif 420-420
(
format
sv
WealthFn
"värdet av tillhörigheterna av %1")
relations-sv.txt 441-441
(
format
tg
WealthFn
"halaga ng bagay ng %1")
relations-tg.txt 505-505
(
termFormat
ChineseLanguage
WealthFn
"财富")
domainEnglishFormat.kif 62565-62565
(
termFormat
ChineseLanguage
WealthFn
"财富函数")
chinese_format.kif 664-664
(
termFormat
ChineseTraditionalLanguage
WealthFn
"財富")
domainEnglishFormat.kif 62564-62564
(
termFormat
EnglishLanguage
WealthFn
"wealth")
domainEnglishFormat.kif 62563-62563
antecedent
(=>
(
and
(
attribute
?H
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U ?Y ?C)
(
and
(
instance
?Z
Zakat
)
(
instance
?Y
Year
)
(
during
?Y
(
WhenFn
?H))
(
holdsDuring
?Y
(
attribute
?H
FullyFormed
))
(
agent
?Z ?H)
(
patient
?Z ?T)
(
monetaryValue
?T
(
MeasureFn
?C ?U))
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?C
(
MultiplicationFn
?W 0.025))))
Obligation
))
ArabicCulture.kif 204-223
If
muslim
is an
attribute
of
an agent
and
value
of belongings of
the agent
is
equal
to
a currency measure
,
then the statement there exist
an entity
,
another entity
,, ,
a third entity
,, ,
a fourth entity
and
a fifth entity
such that
the entity
is an
instance
of
zakat
and
the fourth entity
is an
instance
of
year
and
the fourth entity
takes place
during
the
time
of existence of
the agent
and
fully formed
is an
attribute
of
the agent
holds
during
the fourth entity
and
the agent
is an
agent
of
the entity
and
the other entity
is a
patient
of
the entity
and
value
of
the other entity
is
the fifth entity
the third entity
(s) and
the third entity
is an
instance
of
unit of currency
and
the fifth entity
is
greater
than
the currency measure
and 0.025 has the
modal
force
of
obligation
(=>
(
equal
(
WealthFn
?PERSON) ?AMOUNT)
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT))
Merge.kif 7823-7827
If
value
of belongings of
an agent
is
equal
to
a currency measure
,
then
value
of
belongings
of
the agent
is
the currency measure
consequent
(=>
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT)
(
equal
(
WealthFn
?PERSON) ?AMOUNT))
Merge.kif 7829-7833
If
value
of
belongings
of
an agent
is
a currency measure
,
then
value
of belongings of
the agent
is
equal
to
the currency measure
(=>
(
netWorth
?Agent ?Amount ?Date)
(
holdsDuring
?Date
(
equal
?Amount
(
WealthFn
?Agent))))
FinancialOntology.kif 871-873
If
a cognitive agent
is
net
worth
a currency measure
for
a day
,
then
the currency measure
is
equal
to
value
of belongings of
the cognitive agent
holds
during
the day
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is
open source software
produced by
Articulate Software
and its partners