Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - WealthFn

appearance as argument number 1

s__documentation(s__WealthFn__m,s__ChineseLanguage,'这是一个 UnaryFunction,它把一个 Agent 和 指明这个 Agent 所拥有的财产的价值以一个 CurrencyMeasure 联系起来。注:这个 Function 一般 和 Function PropertyFn 结合起来应用,例如:(WealthFn (PropertyFn BillGates))会得出比尔 盖茨控股的总货币价值。')

Merge.kif 7989-7992
s__documentation(s__WealthFn__m,s__EnglishLanguage,'A UnaryFunction that maps an Agent to a CurrencyMeasure specifying the value of the property owned by the Agent. 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 7984-7988

Merge.kif 7982-7982

Merge.kif 7981-7981

Merge.kif 7980-7980

Merge.kif 7983-7983

appearance as argument number 2

s__format(s__ChineseLanguage,s__WealthFn__m,'属于 %1 的资产值')

chinese_format.kif 663-663
s__format(s__EnglishLanguage,s__WealthFn__m,'value of belongings of %1')

english_format.kif 409-409
s__format(s__FrenchLanguage,s__WealthFn__m,'valeur de ce que poss�de %1')

french_format.kif 398-398
s__format(s__ItalianLanguage,s__WealthFn__m,'valore delle appartenenze di %1')

relations-it.txt 313-313
s__format(s__PortugueseLanguage,s__WealthFn__m,'valor da propriedade de %1')

portuguese_format.kif 350-350
s__format(s__cz__m,s__WealthFn__m,'value of belongings of %1')

relations-cz.txt 407-407
s__format(s__de__m,s__WealthFn__m,'wert von dem Eigentum von %1')

relations-de.txt 867-867
s__format(s__hi__m,s__WealthFn__m,'%1 ke sampatti kaa muulya')

relations-hindi.txt 348-348
s__format(s__tg__m,s__WealthFn__m,'halaga ng bagay ng %1')

relations-tg.txt 505-505

chinese_format.kif 664-664

domainEnglishFormat.kif 10852-10852


     = V__AMOUNT)

Merge.kif 7994-7996
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-210


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 816-818

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners