| 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 | Le nombre 1 argument de amountCharged est une instance de ChargingAFee |
| (domain amountCharged 2 CurrencyMeasure) | FinancialOntology.kif 912-912 | Le nombre 2 argument de amountCharged est une instance de mesure de devise |
| (instance amountCharged BinaryPredicate) | FinancialOntology.kif 910-910 | amountCharged est une instance de pr�dicat binaire |
| (subrelation amountCharged transactionAmount) | FinancialOntology.kif 909-909 | amountCharged est une sous-relation de transactionAmount |
| 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 |
|
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