Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   LiabilityAccount
|
|
|
| appearance as argument number 1 |
|
|
| (subclass LiabilityAccount FinancialAccount) | FinancialOntology.kif 1196-1196 | Liability account is a subclass of financial account |
| (documentation LiabilityAccount EnglishLanguage "An account for which a person is liable") | FinancialOntology.kif 1197-1197 | Liability account is a subclass of financial account |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain minimumPayment 1 LiabilityAccount) | FinancialOntology.kif 775-775 | The number 1 argument of minimum payment is an instance of liability account |
| antecedent |
|
|
| (=> (and (instance ?Account LiabilityAccount) (minimumPayment ?Account (MeasureFn ?MinPayment ?U) MonthDuration) (instance ?U UnitOfCurrency) (instance ?Month Month) (destination ?Payment (CurrencyFn ?Account)) (paymentsPerPeriod ?Account (MeasureFn ?Amount ?U) ?Month) (lessThan ?Amount ?MinPayment)) (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account))))) |
FinancialOntology.kif 781-797 | If All of the following hold: (1) X is an instance of liability account (2) X is minimum payment Y Z(s) for month duration (3) Z is an instance of unit of currency (4) W is an instance of month (5) V ends up at the currency of X (6) X payments per period U Z(s) for W (7) U is less than Y, then there exists T such that T is an instance of penalizing and T ends up at the currency of X |
| (=> (and (instance ?Account LiabilityAccount) (accountHolder ?Account ?Agent) (accountAt ?Account ?Bank)) (exists (?Debt) (and (property ?Debt Liability) (partyToAgreement ?Debt ?Agent) (partyToAgreement ?Debt ?Bank)))) |
FinancialOntology.kif 1199-1208 | If X is an instance of liability account, Y holds account X, and X is held by Z, then there exists W such that W the attribute liability, Y is a party to agreement of W, and Z is a party to agreement of W |
|