Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Loan
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 est une sous-classe de LiabilityAccount

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


(subclass BalloonLoan Loan) FinancialOntology.kif 1422-1422 BalloonLoan est une sous-classe de Loan
(subclass BankTermLoan Loan) FinancialOntology.kif 1504-1504 BankTermLoan est une sous-classe de Loan
(subclass BridgeLoan Loan) FinancialOntology.kif 1520-1520 BridgeLoan est une sous-classe de Loan
(subclass BrokerLoan Loan) FinancialOntology.kif 1524-1524 BrokerLoan est une sous-classe de Loan
(subclass CallableLoan Loan) FinancialOntology.kif 1441-1441 CallableLoan est une sous-classe de Loan
(subclass ConsolidationLoan Loan) FinancialOntology.kif 1535-1535 ConsolidationLoan est une sous-classe de Loan
(subclass DayLoan Loan) FinancialOntology.kif 1579-1579 DayLoan est une sous-classe de Loan
(subclass EvergreenLoan Loan) FinancialOntology.kif 1619-1619 EvergreenLoan est une sous-classe de Loan
(subclass IndexedLoan Loan) FinancialOntology.kif 1622-1622 IndexedLoan est une sous-classe de Loan
(subclass InterestOnlyLoan Loan) FinancialOntology.kif 1626-1626 InterestOnlyLoan est une sous-classe de Loan
(subclass PiggybankLoan Loan) FinancialOntology.kif 1601-1601 PiggybankLoan est une sous-classe de Loan
(subclass SecuredLoan Loan) FinancialOntology.kif 1361-1361 SecuredLoan est une sous-classe de Loan
(subclass SinglePaymentLoan Loan) FinancialOntology.kif 1608-1608 SinglePaymentLoan est une sous-classe de Loan
(subclass UnsecuredLoan Loan) FinancialOntology.kif 1369-1369 UnsecuredLoan est une sous-classe de Loan
(termFormat ChineseLanguage Loan "贷款") domainEnglishFormat.kif 34822-34822 UnsecuredLoan est une sous-classe de Loan
(termFormat ChineseTraditionalLanguage Loan "貸款") domainEnglishFormat.kif 34821-34821 UnsecuredLoan est une sous-classe de Loan
(termFormat EnglishLanguage Loan "loan") domainEnglishFormat.kif 34820-34820 UnsecuredLoan est une sous-classe de Loan

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


(domain borrower 1 Loan) FinancialOntology.kif 1316-1316 Le nombre 1 argument de borrower est une instance de Loan
(domain downPayment 1 Loan) FinancialOntology.kif 804-804 Le nombre 1 argument de downPayment est une instance de Loan
(domain floorLoan 1 Loan) FinancialOntology.kif 799-799 Le nombre 1 argument de floorLoan est une instance de Loan
(domain lender 1 Loan) FinancialOntology.kif 1302-1302 Le nombre 1 argument de lender est une instance de Loan
(domain loanFeeAmount 1 Loan) FinancialOntology.kif 4175-4175 Le nombre 1 argument de loanFeeAmount est une instance de Loan
(domain loanForPurchase 1 Loan) FinancialOntology.kif 1328-1328 Le nombre 1 argument de loanForPurchase est une instance de Loan
(domain loanInterest 1 Loan) FinancialOntology.kif 3935-3935 Le nombre 1 argument de loanInterest est une instance de Loan

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


(<=>
    (exists (?Period)
        (and
            (instance ?Loan Loan)
            (agreementPeriod ?Loan ?Period)
            (interestEarned ?Loan ?Amount ?Period)))
    (loanInterest ?Loan ?Amount))		 FinancialOntology.kif 3938-3944 Interval temporel Loan est une instance de Loan agreementPeriod Loan and interval temporel interestEarned Loan, Interest and interval temporel loanInterest Loan and Interest
(=>
    (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


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