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
Il numero 1 argomenti di
WealthFn
è un
istanza
di
AutonomousAgent
(
instance
WealthFn
TotalValuedRelation
)
Merge.kif 7791-7791
WealthFn
è un'
istanza
di
RelazioneAValoreTotale
(
instance
WealthFn
UnaryFunction
)
Merge.kif 7790-7790
WealthFn
è un'
istanza
di
FunzioneUnaria
(
range
WealthFn
CurrencyMeasure
)
Merge.kif 7793-7793
rango
di
WealthFn
è un'istanza di
MisuraMonetaria
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
Muslim
valore
delle appartenenze di
AutonomousAgent
is
uguale
a
MisuraMonetaria
l'affermazione
Entit�
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Zakat
Entit�
è un'
istanza
di
Anno
Entit�
has luogo
durante
il
tempo
di esistenza di
AutonomousAgent
attribute
AutonomousAgent
and
FullyFormed
vales
durante
Entit�
Entit�
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Entit�
valore
di
Entit�
è
Entit�
Entit�
(s
Entit�
è un'
istanza
di
UnitOfCurrency
Entit�
è
pi
ù grande di
MisuraMonetaria
+ 0.025 ha il modello di forza di
Obligation
(=>
(
equal
(
WealthFn
?PERSON) ?AMOUNT)
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT))
Merge.kif 7801-7805
Valore
delle appartenenze di
AutonomousAgent
is
uguale
a
MisuraMonetaria
valore
di
appartenenze
di
AutonomousAgent
è
MisuraMonetaria
consequent
(=>
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT)
(
equal
(
WealthFn
?PERSON) ?AMOUNT))
Merge.kif 7807-7811
valore
di
appartenenze
di
AutonomousAgent
è
MisuraMonetaria
valore
delle appartenenze di
AutonomousAgent
is
uguale
a
MisuraMonetaria
(=>
(
netWorth
?Agent ?Amount ?Date)
(
holdsDuring
?Date
(
equal
?Amount
(
WealthFn
?Agent))))
FinancialOntology.kif 871-873
netWorth
AgenteCognitivo
,
MisuraMonetaria
and
Giorno
MisuraMonetaria
is
uguale
a
valore
delle appartenenze di
AgenteCognitivo
vales
durante
Giorno
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