| appearance as argument number 1 |
|
| (documentation amountCharged EnglishLanguage "(amountCharged ?Fee ?Amount) means that ?Amount is the amount of the fee charged.") | FinancialOntology.kif 915-916 | |
| (domain amountCharged 1 ChargingAFee) | FinancialOntology.kif 913-913 | |
| (domain amountCharged 2 CurrencyMeasure) | FinancialOntology.kif 914-914 | |
| (instance amountCharged BinaryPredicate) | FinancialOntology.kif 912-912 | |
| (subrelation amountCharged transactionAmount) | FinancialOntology.kif 911-911 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage amountCharged "%2 是在 %1 的 amount charged ") | domainEnglishFormat.kif 2786-2786 | |
| (format ChineseTraditionalLanguage amountCharged "%2 是在 %1 的 amount charged ") | domainEnglishFormat.kif 2785-2785 | |
| (format EnglishLanguage amountCharged "%2 is the amount charged in %1") | domainEnglishFormat.kif 2784-2784 | |
| (termFormat ChineseLanguage amountCharged "收费金额") | domainEnglishFormat.kif 7261-7261 | |
| (termFormat ChineseTraditionalLanguage amountCharged "收費金額") | domainEnglishFormat.kif 7260-7260 | |
| (termFormat EnglishLanguage amountCharged "amount charged") | domainEnglishFormat.kif 7259-7259 |
| 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 3348-3358 |
| 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 902-909 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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