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
Die Zahl 1 Argument von
WealthFn
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
instance
WealthFn
TotalValuedRelation
)
Merge.kif 7791-7791
WealthFn
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
instance
WealthFn
UnaryFunction
)
Merge.kif 7790-7790
WealthFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
WealthFn
CurrencyMeasure
)
Merge.kif 7793-7793
bildbereich
von
WealthFn
ist ein fall von
CurrencyMeasure
{nicht}
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
Wenn
Muslim
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
wert
von dem Eigentum von
** AutonomousAgent
ist gleich
CurrencyMeasure
%n{nicht},
dann die Aussage es gibt
entity
,
** entity
,, ,
** entity
,, ,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Zakat
%n{nicht} und
** ** entity
ist ein
fall
von
Year
%n{nicht} und
** ** entity
geschieht
waehrend
die
zeit
des Bestehens von
** AutonomousAgent
%n{nicht} und
FullyFormed
ist ein
attribut
von
** AutonomousAgent
%n{nicht} haelt
waehrend
** ** entity
%n{nicht} und
** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** entity
ist ein
patient
von
** entity
%n{nicht} und
wert
von
** ** entity
ist
** ** entity
** ** entity
(s) und
** ** entity
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** ** entity
ist
groesserAls
** CurrencyMeasure
und 0.025 %n{nicht} hat die modale Kraft von
Obligation
(=>
(
equal
(
WealthFn
?PERSON) ?AMOUNT)
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT))
Merge.kif 7801-7805
Wenn
wert
von dem Eigentum von
AutonomousAgent
ist gleich
CurrencyMeasure
%n{nicht},
dann
wert
von
eigentum
von
** AutonomousAgent
ist
** CurrencyMeasure
consequent
(=>
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT)
(
equal
(
WealthFn
?PERSON) ?AMOUNT))
Merge.kif 7807-7811
Wenn
wert
von
eigentum
von
AutonomousAgent
ist
CurrencyMeasure
,
dann
wert
von dem Eigentum von
** AutonomousAgent
ist gleich
** CurrencyMeasure
%n{nicht}
(=>
(
netWorth
?Agent ?Amount ?Date)
(
holdsDuring
?Date
(
equal
?Amount
(
WealthFn
?Agent))))
FinancialOntology.kif 871-873
Wenn
netWorth
CognitiveAgent
,
CurrencyMeasure
and
Day
,
dann
** CurrencyMeasure
ist gleich
wert
von dem Eigentum von
** CognitiveAgent
%n{nicht} haelt
waehrend
** Day
%n{nicht}
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