| ChargingAFee(chargingA fee) | | anchorage, contingency_fee, fee, finder's_fee, lockage, mintage, moorage, poundage, truckage |
| appearance as argument number 1 |
|
|
| s__documentation(s__ChargingAFee,s__EnglishLanguage,'"An activity of a fee being charged"')
|
FinancialOntology.kif 845-845 | |
| s__subclass(s__ChargingAFee,s__FinancialTransaction) s__instance(s__FinancialTransaction,s__SetOrClass) s__instance(s__ChargingAFee,s__SetOrClass)
|
FinancialOntology.kif 844-844 | ChargingA fee is a subclass of financial transaction |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| s__domain(s__amountCharged__m,n__1,s__ChargingAFee)
|
FinancialOntology.kif 865-865 | The number 1 argument of amount charged is an instance of chargingA fee |
| consequent |
|
|
| ( ! [V__Amount,V__Action,V__Bank] : (((s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Action,s__FinancialTransaction) & s__instance(V__Bank,s__FinancialOrganization)) => ((s__serviceFee(V__Bank,V__Action,V__Amount) => (( ? [V__Fee] : ((s__instance(V__Fee,s__ChargingAFee) & s__agent(V__Fee,V__Bank) & s__causes(V__Action,V__Fee) & s__amountCharged(V__Fee,V__Amount)))))))) ) )
|
FinancialOntology.kif 854-861 |
|
|
|
|