TreeView Knowledge Base Browser - Loan

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Loan

Sigma KEE - Loan

Loan(loan)

business_loan, commercial_loan, equity_credit_line, home_equity_credit, home_equity_loan, home_loan, installment_credit, installment_loan, interbank_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	Loan is a subclass of liability account

appearance as argument number 2

(subclass BalloonLoan Loan)	FinancialOntology.kif 1422-1422	Balloon loan is a subclass of loan
(subclass BankTermLoan Loan)	FinancialOntology.kif 1504-1504	Bank term loan is a subclass of loan
(subclass BridgeLoan Loan)	FinancialOntology.kif 1520-1520	Bridge loan is a subclass of loan
(subclass BrokerLoan Loan)	FinancialOntology.kif 1524-1524	Broker loan is a subclass of loan
(subclass CallableLoan Loan)	FinancialOntology.kif 1441-1441	Callable loan is a subclass of loan
(subclass ConsolidationLoan Loan)	FinancialOntology.kif 1535-1535	Consolidation loan is a subclass of loan
(subclass DayLoan Loan)	FinancialOntology.kif 1579-1579	Day loan is a subclass of loan
(subclass EvergreenLoan Loan)	FinancialOntology.kif 1619-1619	Evergreen loan is a subclass of loan
(subclass IndexedLoan Loan)	FinancialOntology.kif 1622-1622	Indexed loan is a subclass of loan
(subclass InterestOnlyLoan Loan)	FinancialOntology.kif 1626-1626	Interest only loan is a subclass of loan
(subclass PiggybankLoan Loan)	FinancialOntology.kif 1601-1601	Piggybank loan is a subclass of loan
(subclass SecuredLoan Loan)	FinancialOntology.kif 1361-1361	Secured loan is a subclass of loan
(subclass SinglePaymentLoan Loan)	FinancialOntology.kif 1608-1608	Single payment loan is a subclass of loan
(subclass UnsecuredLoan Loan)	FinancialOntology.kif 1369-1369	Unsecured loan is a subclass of loan
(termFormat ChineseLanguage Loan "贷款")	domainEnglishFormat.kif 34821-34821	Unsecured loan is a subclass of loan
(termFormat ChineseTraditionalLanguage Loan "貸款")	domainEnglishFormat.kif 34820-34820	Unsecured loan is a subclass of loan
(termFormat EnglishLanguage Loan "loan")	domainEnglishFormat.kif 34819-34819	Unsecured loan is a subclass of loan

appearance as argument number 3

(domain borrower 1 Loan)	FinancialOntology.kif 1316-1316	The number 1 argument of borrower is an instance of loan
(domain downPayment 1 Loan)	FinancialOntology.kif 804-804	The number 1 argument of down payment is an instance of loan
(domain floorLoan 1 Loan)	FinancialOntology.kif 799-799	The number 1 argument of floor loan is an instance of loan
(domain lender 1 Loan)	FinancialOntology.kif 1302-1302	The number 1 argument of lender is an instance of loan
(domain loanFeeAmount 1 Loan)	FinancialOntology.kif 4175-4175	The number 1 argument of loan fee amount is an instance of loan
(domain loanForPurchase 1 Loan)	FinancialOntology.kif 1328-1328	The number 1 argument of loan for purchase is an instance of loan
(domain loanInterest 1 Loan)	FinancialOntology.kif 3935-3935	The number 1 argument of loan interest is an instance of loan

antecedent

(<=> (exists (?Period) (and (instance ?Loan Loan) (agreementPeriod ?Loan ?Period) (interestEarned ?Loan ?Amount ?Period))) (loanInterest ?Loan ?Amount))	FinancialOntology.kif 3938-3944	There exists a time interval such that a loan is an instance of loan and the time interval is an agreement period of the loan and the loan is interest earned an interest for the time interval if and only if the interest is a loan interest of the loan
(=> (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	If a loan is an instance of loan and the loan is the borrower of a cognitive agent and a real number is a principal amount of the loan and a time interval is an agreement period of the loan and the loan is interest earned an interest for the time interval and equal another real number and (the real number and the interest), then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=> (and (instance ?LOAN Loan) (equal ?START (BeginFn ?LOAN)) (totalBalance ?LOAN ?BAL)) (currentAccountBalance ?LOAN ?START ?BAL))	FinancialOntology.kif 1415-1420	If a time interval is an instance of loan and equal a time point and the beginning of the time interval and a currency measure is a total balance of the time interval, then the time interval current account balance the time point for the currency measure
(=> (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	If a loan is an instance of loan and a collateral is a secured by of the loan and a cognitive agent lends the loan and a process is an instance of financial default and the loan is a patient of the process, then the cognitive agent possesses the collateral holds during immediately after the time of existence of the process
(=> (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	If a process is an instance of refinancing and the process exists during a day and a loan is an instance of loan and a collateral is a secured by of the loan and the loan is the borrower of a cognitive agent and the loan current account balance the day for a currency measure and the loan is a patient of the process, then there exist another loan and a financial transaction such that the other loan is an instance of loan and the other loan is the borrower of the cognitive agent and the collateral is a secured by of the loan and the financial transaction ends up at the currency of the loan and the financial transaction exists during the day and the financial transaction originates at the currency of the other loan and the currency measure is a transaction amount of the financial transaction
(=> (instance ?Loan Loan) (exists (?Borrower ?Lender) (and (borrower ?Loan ?Borrower) (lender ?Loan ?Lender))))	FinancialOntology.kif 1270-1275	If a loan is an instance of loan, then there exist a cognitive agent and another cognitive agent such that the loan is the borrower of the cognitive agent and the other cognitive agent lends the loan

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	If a process is an instance of refinancing and the process exists during a day and a loan is an instance of loan and a collateral is a secured by of the loan and the loan is the borrower of a cognitive agent and the loan current account balance the day for a currency measure and the loan is a patient of the process, then there exist another loan and a financial transaction such that the other loan is an instance of loan and the other loan is the borrower of the cognitive agent and the collateral is a secured by of the loan and the financial transaction ends up at the currency of the loan and the financial transaction exists during the day and the financial transaction originates at the currency of the other loan and the currency measure is a transaction amount of the financial transaction
(=> (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	If a financial account is an instance of consolidation loan, then there exist the financial account1, the financial account2,, , a process and another process such that the financial account1 is an instance of loan and the financial account2 is an instance of loan and the process ends up at the currency of the financial account1 and the other process ends up at the currency of the financial account2 and the process originates at the currency of the financial account and the other process originates at the currency of the financial account
(=> (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	If a cognitive agent the attribute loan commitment, then there exist a loan, an agreement and another agreement such that the loan is an instance of loan and the agreement lends the loan and the loan is the borrower of the other agreement and the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners