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))会得出比尔 盖茨控股的总货币价值。") 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
(instance WealthFn TotalValuedRelation) Merge.kif 7827-7827
(instance WealthFn UnaryFunction) Merge.kif 7826-7826
(range WealthFn CurrencyMeasure) Merge.kif 7829-7829

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
(=>
    (equal
        (WealthFn ?PERSON) ?AMOUNT)
    (monetaryValue
        (PropertyFn ?PERSON) ?AMOUNT))		 Merge.kif 7837-7841

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


(=>
    (monetaryValue
        (PropertyFn ?PERSON) ?AMOUNT)
    (equal
        (WealthFn ?PERSON) ?AMOUNT))		 Merge.kif 7843-7847
(=>
    (netWorth ?Agent ?Amount ?Date)
    (holdsDuring ?Date
        (equal ?Amount
            (WealthFn ?Agent))))		 FinancialOntology.kif 871-873


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