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 7795-7799
(
documentation
WealthFn
JapaneseLanguage
"
UnaryFunction
は、
Agent
を
Agent
が所有する プロパティの値を指定する
CurrencyMeasure
にマップする。注:この
Function
は一般に
Function
PropertyFn
と組み合わせて使用される。例:(
WealthFn
(
PropertyFn
BillGates)) は、ビル・ゲ イツの保有額の金額を返す。")
japanese_format.kif 1390-1393
(
domain
WealthFn
1
AutonomousAgent
)
Merge.kif 7792-7792
域
財富
, 1 and
AutonomousAgent
(
instance
WealthFn
TotalValuedRelation
)
Merge.kif 7791-7791
例
財富
and
TotalValuedRelation
(
instance
WealthFn
UnaryFunction
)
Merge.kif 7790-7790
例
財富
and
UnaryFunction
(
range
WealthFn
CurrencyMeasure
)
Merge.kif 7793-7793
範圍
財富
and
CurrencyMeasure
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
attribute
AutonomousAgent
and
穆斯林
等於
財富
AutonomousAgent
and
CurrencyMeasure
模態屬性
entity
entity
,
entity
,
entity
and
entity
例
entity
and
天課
例
entity
and
年
期間
entity
and
何時
AutonomousAgent
持有期間
entity
and
attribute
AutonomousAgent
and
完全成型
agent
entity
and
AutonomousAgent
患者
entity
and
entity
貨幣價值
entity
and
測量
entity
and
entity
例
entity
and
UnitOfCurrency
比較多
entity
and
乘法
CurrencyMeasure
and 0.025 and
義務
(=>
(
equal
(
WealthFn
?PERSON) ?AMOUNT)
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT))
Merge.kif 7801-7805
等於
財富
AutonomousAgent
and
CurrencyMeasure
貨幣價值
屬性
AutonomousAgent
and
CurrencyMeasure
consequent
(=>
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT)
(
equal
(
WealthFn
?PERSON) ?AMOUNT))
Merge.kif 7807-7811
貨幣價值
屬性
AutonomousAgent
and
CurrencyMeasure
等於
財富
AutonomousAgent
and
CurrencyMeasure
(=>
(
netWorth
?Agent ?Amount ?Date)
(
holdsDuring
?Date
(
equal
?Amount
(
WealthFn
?Agent))))
FinancialOntology.kif 871-873
CognitiveAgent
是 對於
Day
的
net
價值
CurrencyMeasure
持有期間
Day
and
等於
CurrencyMeasure
and
財富
CognitiveAgent
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