Loan - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1191-1193
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1190-1190	Loan is a subclass of liability account

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1347-1347	Balloon loan is a subclass of loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1429-1429	Bank term loan is a subclass of loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1445-1445	Bridge loan is a subclass of loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1449-1449	Broker loan is a subclass of loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1366-1366	Callable loan is a subclass of loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1460-1460	Consolidation loan is a subclass of loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1505-1505	Day loan is a subclass of loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1545-1545	Evergreen loan is a subclass of loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1548-1548	Indexed loan is a subclass of loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1552-1552	Interest only loan is a subclass of loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1527-1527	Piggybank loan is a subclass of loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1286-1286	Secured loan is a subclass of loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1534-1534	Single payment loan is a subclass of loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1294-1294	Unsecured loan is a subclass of loan
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34726-34726
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34725-34725
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34724-34724

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1241-1241	The number 1 argument of borrower is an instance of loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 751-751	The number 1 argument of down payment is an instance of loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 746-746	The number 1 argument of floor loan is an instance of loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1227-1227	The number 1 argument of lender is an instance of loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4000-4000	The number 1 argument of loan fee amount is an instance of loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1253-1253	The number 1 argument of loan for purchase is an instance of loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3759-3759	The number 1 argument of loan interest is an instance of loan

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3762-3768	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1214-1223	If a loan is an instance of loan and the loan is the borrower of a cognitive agent and a currency measure 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 a quantity is equal to (the currency measure and the interest), then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1340-1345	If a time interval is an instance of loan and a time point is equal to 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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1275-1284	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1390-1407	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1195-1200	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

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1390-1407	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1464-1473	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1414-1422	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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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