Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WealthFn |
| appearance as argument number 1 |
|
| (instance WealthFn UnaryFunction) | Merge.kif 7968-7968 | Wealth is an instance of unary function |
| (instance WealthFn TotalValuedRelation) | Merge.kif 7969-7969 | Wealth is an instance of total valued relation |
| (domain WealthFn 1 AutonomousAgent) | Merge.kif 7970-7970 | The number 1 argument of wealth is an instance of agent |
| (range WealthFn CurrencyMeasure) | Merge.kif 7971-7971 | The range of wealth is an instance of currency measure |
| (documentation WealthFn EnglishLanguage "A UnaryFunction that maps an AutonomousAgent to a CurrencyMeasure specifying the value of the property owned by the AutonomousAgent.") | Merge.kif 7973-7974 | The range of wealth is an instance of currency measure |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WealthFn "wealth") | domainEnglishFormat.kif 62566-62566 | |
| (termFormat ChineseTraditionalLanguage WealthFn "財富") | domainEnglishFormat.kif 62567-62567 | |
| (termFormat ChineseLanguage WealthFn "财富") | domainEnglishFormat.kif 62568-62568 | |
| (format EnglishLanguage WealthFn "value of belongings of %1") | english_format.kif 666-666 |
| antecedent |
|
|
| (=> (equal (WealthFn ?PERSON) ?AMOUNT) (monetaryValue (PropertyFn ?PERSON) ?AMOUNT)) |
Merge.kif 7976-7980 | If equal value of belongings of X and Y, then value of belongings of X is Y |
| (=> (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 | If muslim is an attribute of X and equal value of belongings of X and Y, then the statement there exist Z, W,, , V,, , U and T such that Z is an instance of zakat and U is an instance of year and U takes place during the time of existence of X and fully formed is an attribute of X holds during U and X is an agent of Z and W is a patient of Z and value of W is T V(s) and V is an instance of unit of currency and T is greater than Y and 0.025 has the modal force of obligation |
| consequent |
|
|
| (=> (monetaryValue (PropertyFn ?PERSON) ?AMOUNT) (equal (WealthFn ?PERSON) ?AMOUNT)) |
Merge.kif 7982-7986 | If value of belongings of X is Y, then equal value of belongings of X and Y |
| (=> (netWorth ?Agent ?Amount ?Date) (holdsDuring ?Date (equal ?Amount (WealthFn ?Agent)))) |
FinancialOntology.kif 893-895 | If X is net worth Y for Z, then equal Y and value of belongings of X holds during Z |
|