Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ChargingAFee(charging a fee) |  | anchorage, contingency_fee, fee, finder's_fee, lockage, mintage, moorage, poundage, truckage |
| appearance as argument number 1 |
|
|
| (subclass ChargingAFee FinancialTransaction) | FinancialOntology.kif 912-912 | Charging a fee is a subclass of financial transaction |
| (documentation ChargingAFee EnglishLanguage "An activity of a fee being charged") | FinancialOntology.kif 913-913 | Charging a fee is a subclass of financial transaction |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain amountCharged 1 ChargingAFee) | FinancialOntology.kif 933-933 | The number 1 argument of amount charged is an instance of charging a fee |
| consequent |
|
|
| (=> (serviceFee ?Bank ?Action ?Amount) (exists (?Fee) (and (instance ?Fee ChargingAFee) (agent ?Fee ?Bank) (causes ?Action ?Fee) (amountCharged ?Fee ?Amount)))) |
FinancialOntology.kif 922-929 | If X is service fee Y for Z, then there exists W such that W is an instance of charging a fee, X is an agent of W, Y causes W, and Z is the amount charged in W |
|