| 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 1266-1268 | |
| (subclass Loan LiabilityAccount) | FinancialOntology.kif 1265-1265 |
| appearance as argument number 2 |
|
|
| (subclass BalloonLoan Loan) | FinancialOntology.kif 1422-1422 | |
| (subclass BankTermLoan Loan) | FinancialOntology.kif 1504-1504 | |
| (subclass BridgeLoan Loan) | FinancialOntology.kif 1520-1520 | |
| (subclass BrokerLoan Loan) | FinancialOntology.kif 1524-1524 | |
| (subclass CallableLoan Loan) | FinancialOntology.kif 1441-1441 | |
| (subclass ConsolidationLoan Loan) | FinancialOntology.kif 1535-1535 | |
| (subclass DayLoan Loan) | FinancialOntology.kif 1579-1579 | |
| (subclass EvergreenLoan Loan) | FinancialOntology.kif 1619-1619 | |
| (subclass IndexedLoan Loan) | FinancialOntology.kif 1622-1622 | |
| (subclass InterestOnlyLoan Loan) | FinancialOntology.kif 1626-1626 | |
| (subclass PiggybankLoan Loan) | FinancialOntology.kif 1601-1601 | |
| (subclass SecuredLoan Loan) | FinancialOntology.kif 1361-1361 | |
| (subclass SinglePaymentLoan Loan) | FinancialOntology.kif 1608-1608 | |
| (subclass UnsecuredLoan Loan) | FinancialOntology.kif 1369-1369 | |
| (termFormat ChineseLanguage Loan "贷款") | domainEnglishFormat.kif 34822-34822 | |
| (termFormat ChineseTraditionalLanguage Loan "貸款") | domainEnglishFormat.kif 34821-34821 | |
| (termFormat EnglishLanguage Loan "loan") | domainEnglishFormat.kif 34820-34820 |
| appearance as argument number 3 |
|
|
| (domain borrower 1 Loan) | FinancialOntology.kif 1316-1316 | |
| (domain downPayment 1 Loan) | FinancialOntology.kif 804-804 | |
| (domain floorLoan 1 Loan) | FinancialOntology.kif 799-799 | |
| (domain lender 1 Loan) | FinancialOntology.kif 1302-1302 | |
| (domain loanFeeAmount 1 Loan) | FinancialOntology.kif 4175-4175 | |
| (domain loanForPurchase 1 Loan) | FinancialOntology.kif 1328-1328 | |
| (domain loanInterest 1 Loan) | FinancialOntology.kif 3935-3935 |
| antecedent |
|
|
| (<=> (exists (?Period) (and (instance ?Loan Loan) (agreementPeriod ?Loan ?Period) (interestEarned ?Loan ?Amount ?Period))) (loanInterest ?Loan ?Amount)) |
FinancialOntology.kif 3938-3944 | |
| (=> (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 1289-1298 | |
| (=> (and (instance ?LOAN Loan) (equal ?START (BeginFn ?LOAN)) (totalBalance ?LOAN ?BAL)) (currentAccountBalance ?LOAN ?START ?BAL)) |
FinancialOntology.kif 1415-1420 | |
| (=> (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 1350-1359 | |
| (=> (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 1465-1482 | |
| (=> (instance ?Loan Loan) (exists (?Borrower ?Lender) (and (borrower ?Loan ?Borrower) (lender ?Loan ?Lender)))) |
FinancialOntology.kif 1270-1275 |
| consequent |
|
|
| (=> (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 1465-1482 | |
| (=> (instance ?Loan ConsolidationLoan) (exists (?Loan1 ?Loan2 ?Payment1 ?Payment2) (and (instance ?Loan1 Loan) (instance ?Loan2 Loan) (destination ?Payment1 (CurrencyFn ?Loan1)) (destination ?Payment2 (CurrencyFn ?Loan2)) (origin ?Payment1 (CurrencyFn ?Loan)) (origin ?Payment2 (CurrencyFn ?Loan))))) |
FinancialOntology.kif 1539-1548 | |
| (=> (property ?Commitment LoanCommitment) (exists (?Loan ?Lender ?Borrower) (and (instance ?Loan Loan) (lender ?Loan ?Lender) (borrower ?Loan ?Borrower) (partyToAgreement ?Commitment ?Lender) (partyToAgreement ?Commitment ?Borrower)))) |
FinancialOntology.kif 1489-1497 |
|
|
|