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 1204-1206
s__subclass(s__Loan,s__LiabilityAccount)

s__instance(s__Loan,s__SetOrClass)

s__instance(s__LiabilityAccount,s__SetOrClass)

FinancialOntology.kif 1203-1203 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 1360-1360 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 1442-1442 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 1458-1458 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 1462-1462 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 1379-1379 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 1473-1473 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 1518-1518 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 1558-1558 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 1561-1561 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 1565-1565 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 1540-1540 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 1299-1299 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 1547-1547 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 1307-1307 Unsecured loan is a subclass of loan
s__termFormat(s__ChineseLanguage,s__Loan,'"贷款"')

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

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

domainEnglishFormat.kif 34792-34792

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


s__domain(s__borrower__m,n__1,s__Loan)

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

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

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

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

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

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

FinancialOntology.kif 3807-3807 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 3810-3816 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 1227-1236
( ! [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 1353-1358
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1288-1297
( ! [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 1403-1420
( ! [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 1208-1213

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 1403-1420
( ! [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 1477-1486
( ! [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 1427-1435


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