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
-------------------------


s__documentation(s__Loan,s__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 1191-1193
s__subclass(s__Loan,s__LiabilityAccount)

s__instance(s__Loan,s__SetOrClass)

s__instance(s__LiabilityAccount,s__SetOrClass)

FinancialOntology.kif 1190-1190 Loan is a subclass of liability account

appearance as argument number 2
-------------------------


s__instance(s__BalloonLoan,s__SetOrClass)

s__instance(s__Loan,s__SetOrClass)

s__subclass(s__BalloonLoan,s__Loan)

FinancialOntology.kif 1347-1347 Balloon loan is a subclass of loan
s__instance(s__Loan,s__SetOrClass)

s__instance(s__BankTermLoan,s__SetOrClass)

s__subclass(s__BankTermLoan,s__Loan)

FinancialOntology.kif 1429-1429 Bank term loan is a subclass of loan
s__instance(s__BridgeLoan,s__SetOrClass)

s__instance(s__Loan,s__SetOrClass)

s__subclass(s__BridgeLoan,s__Loan)

FinancialOntology.kif 1445-1445 Bridge loan is a subclass of loan
s__instance(s__BrokerLoan,s__SetOrClass)

s__instance(s__Loan,s__SetOrClass)

s__subclass(s__BrokerLoan,s__Loan)

FinancialOntology.kif 1449-1449 Broker loan is a subclass of loan
s__instance(s__Loan,s__SetOrClass)

s__instance(s__CallableLoan,s__SetOrClass)

s__subclass(s__CallableLoan,s__Loan)

FinancialOntology.kif 1366-1366 Callable loan is a subclass of loan
s__instance(s__ConsolidationLoan,s__SetOrClass)

s__instance(s__Loan,s__SetOrClass)

s__subclass(s__ConsolidationLoan,s__Loan)

FinancialOntology.kif 1460-1460 Consolidation loan is a subclass of loan
s__subclass(s__DayLoan,s__Loan)

s__instance(s__Loan,s__SetOrClass)

s__instance(s__DayLoan,s__SetOrClass)

FinancialOntology.kif 1505-1505 Day loan is a subclass of loan
s__subclass(s__EvergreenLoan,s__Loan)

s__instance(s__Loan,s__SetOrClass)

s__instance(s__EvergreenLoan,s__SetOrClass)

FinancialOntology.kif 1545-1545 Evergreen loan is a subclass of loan
s__instance(s__IndexedLoan,s__SetOrClass)

s__instance(s__Loan,s__SetOrClass)

s__subclass(s__IndexedLoan,s__Loan)

FinancialOntology.kif 1548-1548 Indexed loan is a subclass of loan
s__subclass(s__InterestOnlyLoan,s__Loan)

s__instance(s__Loan,s__SetOrClass)

s__instance(s__InterestOnlyLoan,s__SetOrClass)

FinancialOntology.kif 1552-1552 Interest only loan is a subclass of loan
s__instance(s__PiggybankLoan,s__SetOrClass)

s__instance(s__Loan,s__SetOrClass)

s__subclass(s__PiggybankLoan,s__Loan)

FinancialOntology.kif 1527-1527 Piggybank loan is a subclass of loan
s__instance(s__SecuredLoan,s__SetOrClass)

s__instance(s__Loan,s__SetOrClass)

s__subclass(s__SecuredLoan,s__Loan)

FinancialOntology.kif 1286-1286 Secured loan is a subclass of loan
s__instance(s__Loan,s__SetOrClass)

s__subclass(s__SinglePaymentLoan,s__Loan)

s__instance(s__SinglePaymentLoan,s__SetOrClass)

FinancialOntology.kif 1534-1534 Single payment loan is a subclass of loan
s__instance(s__Loan,s__SetOrClass)

s__instance(s__UnsecuredLoan,s__SetOrClass)

s__subclass(s__UnsecuredLoan,s__Loan)

FinancialOntology.kif 1294-1294 Unsecured loan is a subclass of loan
s__termFormat(s__ChineseLanguage,s__Loan,'"贷款"')

domainEnglishFormat.kif 34705-34705
s__termFormat(s__ChineseTraditionalLanguage,s__Loan,'"貸款"')

domainEnglishFormat.kif 34704-34704
s__termFormat(s__EnglishLanguage,s__Loan,'"loan"')

domainEnglishFormat.kif 34703-34703

appearance as argument number 3
-------------------------


s__domain(s__borrower__m,n__1,s__Loan)

FinancialOntology.kif 1241-1241 The number 1 argument of borrower is an instance of loan
s__domain(s__downPayment__m,n__1,s__Loan)

FinancialOntology.kif 751-751 The number 1 argument of down payment is an instance of loan
s__domain(s__floorLoan__m,n__1,s__Loan)

FinancialOntology.kif 746-746 The number 1 argument of floor loan is an instance of loan
s__domain(s__lender__m,n__1,s__Loan)

FinancialOntology.kif 1227-1227 The number 1 argument of lender is an instance of loan
s__domain(s__loanFeeAmount__m,n__1,s__Loan)

FinancialOntology.kif 4000-4000 The number 1 argument of loan fee amount is an instance of loan
s__domain(s__loanForPurchase__m,n__1,s__Loan)

FinancialOntology.kif 1253-1253 The number 1 argument of loan for purchase is an instance of loan
s__domain(s__loanInterest__m,n__1,s__Loan)

FinancialOntology.kif 3759-3759 The number 1 argument of loan interest is an instance of loan

antecedent
-------------------------


( ! [V__Amount,V__Loan] :
   (s__instance(V__Amount,s__Interest) =>
     (( ? [V__Period] :
         ((s__instance(V__Period,s__TimeInterval) &
             (s__instance(V__Loan,s__Loan) &
               s__agreementPeriod(V__Loan,V__Period)
             &
             s__interestEarned(V__Loan,V__Amount,V__Period)))))
   =>
   s__loanInterest(V__Loan,V__Amount))
&
(s__loanInterest(V__Loan,V__Amount)
=>
( ? [V__Period] :
((s__instance(V__Period,s__TimeInterval) &
     (s__instance(V__Loan,s__Loan) &
       s__agreementPeriod(V__Loan,V__Period)
     &
     s__interestEarned(V__Loan,V__Amount,V__Period))))))
)
)

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
( ! [V__BAL,V__LOAN,V__START] :
   ((s__instance(V__BAL,s__CurrencyMeasure) &
       s__instance(V__START,s__TimePoint) &
       s__instance(V__START,s__Day))
     =>
     (s__instance(V__LOAN,s__Loan) &
       (V__START = s__BeginFn(V__LOAN))
     &
     s__totalBalance(V__LOAN,V__BAL))
=>
s__currentAccountBalance(V__LOAN,V__START,V__BAL)
)
)

FinancialOntology.kif 1340-1345
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1275-1284
( ! [V__Amount,V__Time,V__Collateral,V__Loan,V__Refinancing,V__Borrower] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__Time,s__Day) &
       s__instance(V__Collateral,s__Collateral) &
       s__instance(V__Borrower,s__CognitiveAgent))
     =>
     (s__instance(V__Refinancing,s__Refinancing) &
       s__time(V__Refinancing,V__Time)
     &
     s__instance(V__Loan,s__Loan) &
     s__securedBy(V__Loan,V__Collateral)
   &
   s__borrower(V__Loan,V__Borrower)
&
s__currentAccountBalance(V__Loan,V__Time,V__Amount)
&
s__patient(V__Refinancing,V__Loan))
=>
( ? [V__NewLoan, V__Payment] :
((s__instance(V__Payment,s__FinancialTransaction) &
(s__instance(V__NewLoan,s__Loan) &
   s__borrower(V__NewLoan,V__Borrower)
&
s__securedBy(V__Loan,V__Collateral)
&
s__destination(V__Payment,s__CurrencyFn(V__Loan))
&
s__time(V__Payment,V__Time)
&
s__origin(V__Payment,s__CurrencyFn(V__NewLoan))
&
s__transactionAmount(V__Payment,V__Amount)))))
)
)

FinancialOntology.kif 1390-1407
( ! [V__Loan] :
   (s__instance(V__Loan,s__Loan) =>
     ( ? [V__Borrower, V__Lender] :
       ((s__instance(V__Borrower,s__CognitiveAgent) &
           s__instance(V__Lender,s__CognitiveAgent) &
           (s__borrower(V__Loan,V__Borrower)
           &
           s__lender(V__Loan,V__Lender)))))
)
)

FinancialOntology.kif 1195-1200

consequent
-------------------------


( ! [V__Amount,V__Time,V__Collateral,V__Loan,V__Refinancing,V__Borrower] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__Time,s__Day) &
       s__instance(V__Collateral,s__Collateral) &
       s__instance(V__Borrower,s__CognitiveAgent))
     =>
     (s__instance(V__Refinancing,s__Refinancing) &
       s__time(V__Refinancing,V__Time)
     &
     s__instance(V__Loan,s__Loan) &
     s__securedBy(V__Loan,V__Collateral)
   &
   s__borrower(V__Loan,V__Borrower)
&
s__currentAccountBalance(V__Loan,V__Time,V__Amount)
&
s__patient(V__Refinancing,V__Loan))
=>
( ? [V__NewLoan, V__Payment] :
((s__instance(V__Payment,s__FinancialTransaction) &
(s__instance(V__NewLoan,s__Loan) &
   s__borrower(V__NewLoan,V__Borrower)
&
s__securedBy(V__Loan,V__Collateral)
&
s__destination(V__Payment,s__CurrencyFn(V__Loan))
&
s__time(V__Payment,V__Time)
&
s__origin(V__Payment,s__CurrencyFn(V__NewLoan))
&
s__transactionAmount(V__Payment,V__Amount)))))
)
)

FinancialOntology.kif 1390-1407
( ! [V__Loan] :
   (s__instance(V__Loan,s__ConsolidationLoan) =>
     ( ? [V__Loan1, V__Loan2, V__Payment1, V__Payment2] :
       ((s__instance(V__Payment1,s__Process) &
           s__instance(V__Payment2,s__Process) &
           (s__instance(V__Loan1,s__Loan) &
             s__instance(V__Loan2,s__Loan) &
             s__destination(V__Payment1,s__CurrencyFn(V__Loan1))
         &
         s__destination(V__Payment2,s__CurrencyFn(V__Loan2))
     &
     s__origin(V__Payment1,s__CurrencyFn(V__Loan))
&
s__origin(V__Payment2,s__CurrencyFn(V__Loan))))))
)
)

FinancialOntology.kif 1464-1473
( ! [V__Commitment] :
   (s__instance(V__Commitment,s__CognitiveAgent) =>
     s__property(V__Commitment,s__LoanCommitment) =>
     ( ? [V__Loan, V__Lender, V__Borrower] :
       ((s__instance(V__Lender,s__Agreement) &
           s__instance(V__Lender,s__CognitiveAgent) &
           s__instance(V__Borrower,s__Agreement) &
           s__instance(V__Borrower,s__CognitiveAgent) &
           (s__instance(V__Loan,s__Loan) &
             s__lender(V__Loan,V__Lender)
           &
           s__borrower(V__Loan,V__Borrower)
         &
         s__partyToAgreement(V__Commitment,V__Lender)
       &
       s__partyToAgreement(V__Commitment,V__Borrower)))))
)
)

FinancialOntology.kif 1414-1422


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners