Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   CreditAccount
|
|
|
| appearance as argument number 1 |
|
|
| (subclass CreditAccount LiabilityAccount) | FinancialOntology.kif 1246-1246 | Credit account is a subclass of liability account |
| (documentation CreditAccount EnglishLanguage "Credit extended by a business to a customer") | FinancialOntology.kif 1247-1247 | Credit account is a subclass of liability account |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain creditLimit 1 CreditAccount) | FinancialOntology.kif 813-813 | The number 1 argument of credit limit is an instance of credit account |
| antecedent |
|
|
| (=> (and (instance ?Account CreditAccount) (accountAt ?Account ?Organization) (accountHolder ?Account ?Agent) (interestEarned ?Account ?Interest ?Period)) (exists (?Payment) (and (origin ?Payment ?Agent) (transactionAmount ?Payment ?Interest) (destination ?Payment ?Organization)))) |
FinancialOntology.kif 1249-1259 | If X is an instance of credit account, X is held by Y, Z holds account X, and X is interest earned W for V, then there exists U such that U originates at Z, W is a transaction amount of U, and U ends up at Y |
| (=> (and (instance ?Account CreditAccount) (accountHolder ?Account ?Agent) (principalAmount ?Account ?Principal) (agreementPeriod ?Account ?Period) (interestEarned ?Account ?Interest ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (holdsObligation ?Agent (exists (?Payment) (transactionAmount ?Payment ?Total)))) |
FinancialOntology.kif 1261-1271 | If All of the following hold: (1) X is an instance of credit account (2) Y holds account X (3) Z is a principal amount of X (4) W is an agreement period of X (5) X is interest earned V for W (6) equal U and (Z and V), then Y is obliged to perform tasks of type there exists T such that U is a transaction amount of T |
|