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 7831-7835
(
documentation
WealthFn
JapaneseLanguage
"
UnaryFunction
は、
Agent
を
Agent
が所有する プロパティの値を指定する
CurrencyMeasure
にマップする。注:この
Function
は一般に
Function
PropertyFn
と組み合わせて使用される。例:(
WealthFn
(
PropertyFn
BillGates)) は、ビル・ゲ イツの保有額の金額を返す。")
japanese_format.kif 1390-1393
(
domain
WealthFn
1
AutonomousAgent
)
Merge.kif 7828-7828
财富函数
的 1 数量 是
施事体
的
instance
(
instance
WealthFn
TotalValuedRelation
)
Merge.kif 7827-7827
财富函数
是
总值关系
的
instance
(
instance
WealthFn
UnaryFunction
)
Merge.kif 7826-7826
财富函数
是
一元函数
的
instance
(
range
WealthFn
CurrencyMeasure
)
Merge.kif 7829-7829
财富函数
的
range
是
货币测量
的实例
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 62567-62567
(
termFormat
ChineseLanguage
WealthFn
"财富函数")
chinese_format.kif 664-664
(
termFormat
ChineseTraditionalLanguage
WealthFn
"財富")
domainEnglishFormat.kif 62566-62566
(
termFormat
EnglishLanguage
WealthFn
"wealth")
domainEnglishFormat.kif 62565-62565
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
和 属于
那个 施事体
的资产值
equal
货币测量
,
然后 有存在
实体
,
另一个 实体
,, ,
第三 实体
,, ,
第四 实体
, and 和
第五 实体
这样
那个 实体
是
天课
的
instance
和
那个 第四 实体
是
年
的
instance
和
那个 第四 实体
在
那个 施事体
出现 的
time
时段内发生 和
完全成型
是
那个 施事体
的
attribute
在
那个 第四 实体
holdsDuring
和
那个 施事体
是
那个 实体
的
agent
和
那个 另外 实体
是
那个 实体
的
patient
和
那个 另外 实体
的价值 是
那个 第五 实体
那个 第三 实体
和
那个 第三 实体
是
UnitOfCurrency
的
instance
和
那个 第五 实体
是
greaterThan
那个 货币测量
和 0.025 的声明 has
义务
的语气
(=>
(
equal
(
WealthFn
?PERSON) ?AMOUNT)
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT))
Merge.kif 7837-7841
如果 属于
施事体
的资产值
equal
货币测量
,
然后
那个 施事体
的财产 的价值 是
那个 货币测量
consequent
(=>
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT)
(
equal
(
WealthFn
?PERSON) ?AMOUNT))
Merge.kif 7843-7847
如果
施事体
的财产 的价值 是
货币测量
,
然后 属于
那个 施事体
的资产值
equal
那个 货币测量
(=>
(
netWorth
?Agent ?Amount ?Date)
(
holdsDuring
?Date
(
equal
?Amount
(
WealthFn
?Agent))))
FinancialOntology.kif 871-873
如果
有认知的主事
是 对于
日
的
net
价值
货币测量
,
然后
那个 货币测量
equal
属于
那个 有认知的主事
的资产值 在
那个 日
holdsDuring
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