|
|
   Loan
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Loan EnglishLanguage "An arrangement in which a lender gives money or property to a borrower, and the borrower agrees to return the property or repay the money, usually along with interest, at some future point(s) in time.") | FinancialOntology.kif 1250-1252 | |
| (subclass Loan LiabilityAccount) | FinancialOntology.kif 1249-1249 | Loan ist eine teilkategorie von LiabilityAccount |
| appearance as argument number 2 |
|
|
| (subclass BalloonLoan Loan) | FinancialOntology.kif 1406-1406 | BalloonLoan ist eine teilkategorie von Loan |
| (subclass BankTermLoan Loan) | FinancialOntology.kif 1488-1488 | BankTermLoan ist eine teilkategorie von Loan |
| (subclass BridgeLoan Loan) | FinancialOntology.kif 1504-1504 | BridgeLoan ist eine teilkategorie von Loan |
| (subclass BrokerLoan Loan) | FinancialOntology.kif 1508-1508 | BrokerLoan ist eine teilkategorie von Loan |
| (subclass CallableLoan Loan) | FinancialOntology.kif 1425-1425 | CallableLoan ist eine teilkategorie von Loan |
| (subclass ConsolidationLoan Loan) | FinancialOntology.kif 1519-1519 | ConsolidationLoan ist eine teilkategorie von Loan |
| (subclass DayLoan Loan) | FinancialOntology.kif 1563-1563 | DayLoan ist eine teilkategorie von Loan |
| (subclass EvergreenLoan Loan) | FinancialOntology.kif 1603-1603 | EvergreenLoan ist eine teilkategorie von Loan |
| (subclass IndexedLoan Loan) | FinancialOntology.kif 1606-1606 | IndexedLoan ist eine teilkategorie von Loan |
| (subclass InterestOnlyLoan Loan) | FinancialOntology.kif 1610-1610 | InterestOnlyLoan ist eine teilkategorie von Loan |
| (subclass PiggybankLoan Loan) | FinancialOntology.kif 1585-1585 | PiggybankLoan ist eine teilkategorie von Loan |
| (subclass SecuredLoan Loan) | FinancialOntology.kif 1345-1345 | SecuredLoan ist eine teilkategorie von Loan |
| (subclass SinglePaymentLoan Loan) | FinancialOntology.kif 1592-1592 | SinglePaymentLoan ist eine teilkategorie von Loan |
| (subclass UnsecuredLoan Loan) | FinancialOntology.kif 1353-1353 | UnsecuredLoan ist eine teilkategorie von Loan |
| (termFormat ChineseLanguage Loan "贷款") | domainEnglishFormat.kif 34811-34811 | |
| (termFormat ChineseTraditionalLanguage Loan "貸款") | domainEnglishFormat.kif 34810-34810 | |
| (termFormat EnglishLanguage Loan "loan") | domainEnglishFormat.kif 34809-34809 |
| appearance as argument number 3 |
|
|
| (domain borrower 1 Loan) | FinancialOntology.kif 1300-1300 | Die Zahl 1 Argument von borrower ist ein fall von Loan %n{nicht} |
| (domain downPayment 1 Loan) | FinancialOntology.kif 802-802 | Die Zahl 1 Argument von downPayment ist ein fall von Loan %n{nicht} |
| (domain floorLoan 1 Loan) | FinancialOntology.kif 797-797 | Die Zahl 1 Argument von floorLoan ist ein fall von Loan %n{nicht} |
| (domain lender 1 Loan) | FinancialOntology.kif 1286-1286 | Die Zahl 1 Argument von lender ist ein fall von Loan %n{nicht} |
| (domain loanFeeAmount 1 Loan) | FinancialOntology.kif 4157-4157 | Die Zahl 1 Argument von loanFeeAmount ist ein fall von Loan %n{nicht} |
| (domain loanForPurchase 1 Loan) | FinancialOntology.kif 1312-1312 | Die Zahl 1 Argument von loanForPurchase ist ein fall von Loan %n{nicht} |
| (domain loanInterest 1 Loan) | FinancialOntology.kif 3917-3917 | Die Zahl 1 Argument von loanInterest ist ein fall von Loan %n{nicht} |
| antecedent |
|
|
| (<=> (exists (?Period) (and (instance ?Loan Loan) (agreementPeriod ?Loan ?Period) (interestEarned ?Loan ?Amount ?Period))) (loanInterest ?Loan ?Amount)) |
FinancialOntology.kif 3920-3926 | Es gibt TimeInterval um Loan ist ein fall von Loan %n{nicht} und agreementPeriod ** Loan and ** TimeInterval und interestEarned ** Loan, Interest and ** TimeInterval genau dann wenn loanInterest ** Loan and ** Interest |
| (=> (and (instance ?Account Loan) (borrower ?Account ?Agent) (principalAmount ?Account ?Principal) (agreementPeriod ?Account ?Period) (interestEarned ?Account ?Interest ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (holdsObligation (KappaFn ?Payment (transactionAmount ?Payment ?Total)) ?Agent)) |
FinancialOntology.kif 1273-1282 |
|
| (=> (and (instance ?LOAN Loan) (equal ?START (BeginFn ?LOAN)) (totalBalance ?LOAN ?BAL)) (currentAccountBalance ?LOAN ?START ?BAL)) |
FinancialOntology.kif 1399-1404 |
|
| (=> (and (instance ?Loan Loan) (securedBy ?Loan ?Security) (lender ?Loan ?Bank) (instance ?Default FinancialDefault) (patient ?Default ?Loan)) (holdsDuring (ImmediateFutureFn (WhenFn ?Default)) (possesses ?Bank ?Security))) |
FinancialOntology.kif 1334-1343 |
|
| (=> (and (instance ?Refinancing Refinancing) (time ?Refinancing ?Time) (instance ?Loan Loan) (securedBy ?Loan ?Collateral) (borrower ?Loan ?Borrower) (currentAccountBalance ?Loan ?Time ?Amount) (patient ?Refinancing ?Loan)) (exists (?NewLoan ?Payment) (and (instance ?NewLoan Loan) (borrower ?NewLoan ?Borrower) (securedBy ?Loan ?Collateral) (destination ?Payment (CurrencyFn ?Loan)) (time ?Payment ?Time) (origin ?Payment (CurrencyFn ?NewLoan)) (transactionAmount ?Payment ?Amount)))) |
FinancialOntology.kif 1449-1466 |
|
| (=> (instance ?Loan Loan) (exists (?Borrower ?Lender) (and (borrower ?Loan ?Borrower) (lender ?Loan ?Lender)))) |
FinancialOntology.kif 1254-1259 |
|
| consequent |
|
|
|
|
|