amountCharged |
appearance as argument number 1 |
(documentation amountCharged EnglishLanguage "(amountCharged ?Fee ?Amount) means that ?Amount is the amount of the fee charged.") | FinancialOntology.kif 913-914 | |
(domain amountCharged 1 ChargingAFee) | FinancialOntology.kif 911-911 | The number 1 argument of amount charged is an instance of chargingA fee |
(domain amountCharged 2 CurrencyMeasure) | FinancialOntology.kif 912-912 | The number 2 argument of amount charged is an instance of currency measure |
(instance amountCharged BinaryPredicate) | FinancialOntology.kif 910-910 | amount charged is an instance of binary predicate |
(subrelation amountCharged transactionAmount) | FinancialOntology.kif 909-909 | amount charged is a subrelation of transaction amount |
appearance as argument number 2 |
(format ChineseLanguage amountCharged "%2 是在 %1 的 amount charged ") | domainEnglishFormat.kif 2790-2790 | |
(format ChineseTraditionalLanguage amountCharged "%2 是在 %1 的 amount charged ") | domainEnglishFormat.kif 2789-2789 | |
(format EnglishLanguage amountCharged "%2 is the amount charged in %1") | domainEnglishFormat.kif 2788-2788 | |
(termFormat ChineseLanguage amountCharged "收费金额") | domainEnglishFormat.kif 7254-7254 | |
(termFormat ChineseTraditionalLanguage amountCharged "收費金額") | domainEnglishFormat.kif 7253-7253 | |
(termFormat EnglishLanguage amountCharged "amount charged") | domainEnglishFormat.kif 7252-7252 |
antecedent |
(=> (and (incomeEarned ?Agent (MeasureFn ?Income ?CU) ?Activity) (amountCharged ?Tax (MeasureFn ?TaxAmount ?CU)) (causes ?Activity ?Tax) (equal ?ATIncome (SubtractionFn ?Income ?TaxAmount))) (afterTaxIncome ?Agent (MeasureFn ?ATIncome ?CU) ?Activity)) |
FinancialOntology.kif 3331-3341 |
|
consequent |
(=> (instance ?C Corkage) (exists (?AMT) (amountCharged ?C ?AMT))) |
Dining.kif 110-113 |
|
(=> (serviceFee ?Bank ?Action ?Amount) (exists (?Fee) (and (instance ?Fee ChargingAFee) (agent ?Fee ?Bank) (causes ?Action ?Fee) (amountCharged ?Fee ?Amount)))) |
FinancialOntology.kif 900-907 |
|