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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WealthFn

Sigma KEE - WealthFn
WealthFn

appearance as argument number 1
-------------------------


(documentation WealthFn ChineseLanguage "这是一个 UnaryFunction,它把一个 Agent 和 指明这个 Agent 所拥有的财产的价值以一个 CurrencyMeasure 联系起来。注:这个 Function 一般 和 Function PropertyFn 结合起来应用,例如:(WealthFn (PropertyFn BillGates))会得出比尔 盖茨控股的总货币价值。") Merge.kif 8006-8009
(documentation WealthFn 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 8001-8005
(domain WealthFn 1 Agent) Merge.kif 7999-7999 财富函数 的 1 数量 是 施事体instance
(instance WealthFn TotalValuedRelation) Merge.kif 7998-7998 财富函数总值关系instance
(instance WealthFn UnaryFunction) Merge.kif 7997-7997 财富函数一元函数instance
(range WealthFn CurrencyMeasure) Merge.kif 8000-8000 财富函数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 409-409
(termFormat ChineseLanguage WealthFn "财富函数") chinese_format.kif 664-664 termFormat ChineseLanguage, 财富函数 and "财富函数"
(termFormat EnglishLanguage WealthFn "wealth") domainEnglishFormat.kif 10852-10852 termFormat EnglishLanguage, 财富函数 and "wealth"

antecedent
-------------------------


(<=>
    (equal
        (WealthFn ?PERSON) ?AMOUNT)
    (monetaryValue
        (PropertyFn ?PERSON) ?AMOUNT))
Merge.kif 8011-8013 属于 施事体 的资产值 equal 货币测量 若且唯若 那个 施事体 的财产 的价值 是 那个 货币测量
(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T)
            (and
                (instance ?Z Zakat)
                (instance ?Y Year)
                (during ?Y
                    (WhenFn ?H))
                (holdsDuring ?Y
                    (attribute ?H FullyFormed))
                (agent ?Z ?H)
                (patient ?Z ?T)
                (monetaryValue ?T ?C)
                (greaterThan ?C
                    (MultiplicationFn ?W 0.025)))) Obligation))
ArabicCulture.kif 193-210

consequent
-------------------------


(=>
    (netWorth ?Agent ?Amount ?Date)
    (holdsDuring ?Date
        (equal ?Amount
            (WealthFn ?Agent))))
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