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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Loan

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 1192-1194
(subclass Loan LiabilityAccount) FinancialOntology.kif 1191-1191 LoanLiabilityAccountsubclass

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


(subclass BalloonLoan Loan) FinancialOntology.kif 1348-1348 BalloonLoanLoansubclass
(subclass BankTermLoan Loan) FinancialOntology.kif 1431-1431 BankTermLoanLoansubclass
(subclass BridgeLoan Loan) FinancialOntology.kif 1447-1447 BridgeLoanLoansubclass
(subclass BrokerLoan Loan) FinancialOntology.kif 1451-1451 BrokerLoanLoansubclass
(subclass CallableLoan Loan) FinancialOntology.kif 1367-1367 CallableLoanLoansubclass
(subclass ConsolidationLoan Loan) FinancialOntology.kif 1462-1462 ConsolidationLoanLoansubclass
(subclass DayLoan Loan) FinancialOntology.kif 1507-1507 DayLoanLoansubclass
(subclass EvergreenLoan Loan) FinancialOntology.kif 1547-1547 EvergreenLoanLoansubclass
(subclass IndexedLoan Loan) FinancialOntology.kif 1550-1550 IndexedLoanLoansubclass
(subclass InterestOnlyLoan Loan) FinancialOntology.kif 1554-1554 InterestOnlyLoanLoansubclass
(subclass PiggybankLoan Loan) FinancialOntology.kif 1529-1529 PiggybankLoanLoansubclass
(subclass SecuredLoan Loan) FinancialOntology.kif 1287-1287 SecuredLoanLoansubclass
(subclass SinglePaymentLoan Loan) FinancialOntology.kif 1536-1536 SinglePaymentLoanLoansubclass
(subclass UnsecuredLoan Loan) FinancialOntology.kif 1295-1295 UnsecuredLoanLoansubclass
(termFormat EnglishLanguage Loan "loan") domainEnglishFormat.kif 6220-6220 termFormat EnglishLanguage, Loan and "loan"

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


(domain borrower 1 Loan) FinancialOntology.kif 1242-1242 borrower 的 1 数量 是 Loaninstance
(domain downPayment 1 Loan) FinancialOntology.kif 752-752 downPayment 的 1 数量 是 Loaninstance
(domain floorLoan 1 Loan) FinancialOntology.kif 747-747 floorLoan 的 1 数量 是 Loaninstance
(domain lender 1 Loan) FinancialOntology.kif 1228-1228 lender 的 1 数量 是 Loaninstance
(domain loanFeeAmount 1 Loan) FinancialOntology.kif 3994-3994 loanFeeAmount 的 1 数量 是 Loaninstance
(domain loanForPurchase 1 Loan) FinancialOntology.kif 1254-1254 loanForPurchase 的 1 数量 是 Loaninstance
(domain loanInterest 1 Loan) FinancialOntology.kif 3752-3752 loanInterest 的 1 数量 是 Loaninstance

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


(<=>
    (exists (?Period)
        (and
            (instance ?Loan Loan)
            (agreementPeriod ?Loan ?Period)
            (interestEarned ?Loan ?Amount ?Period)))
    (loanInterest ?Loan ?Amount))
FinancialOntology.kif 3755-3761 有存在 时距 这样 LoanLoaninstanceagreementPeriod 那个 Loan and 那个 时距interestEarned 那个 Loan, Interest and 那个 时距 若且唯若 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 1215-1224
(=>
    (and
        (instance ?LOAN Loan)
        (equal ?START
            (BeginFn ?LOAN))
        (totalBalance ?LOAN ?BAL))
    (currentAccountBalance ?LOAN ?START ?BAL))
FinancialOntology.kif 1341-1346
(=>
    (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 1276-1285
(=>
    (and
        (instance ?Refinancing Refinancing)
        (time ?Refinancing ?Time)
        (instance ?Loan Loan)
        (securedBy ?Loan ?Collateral)
        (borrower ?Loan ?Borrower)
        (currentAccountBalance ?Loan ?Date ?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 1392-1409
(=>
    (instance ?Loan Loan)
    (exists (?Borrower ?Lender)
        (and
            (borrower ?Loan ?Borrower)
            (lender ?Loan ?Lender))))
FinancialOntology.kif 1196-1201

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


(=>
    (and
        (instance ?Refinancing Refinancing)
        (time ?Refinancing ?Time)
        (instance ?Loan Loan)
        (securedBy ?Loan ?Collateral)
        (borrower ?Loan ?Borrower)
        (currentAccountBalance ?Loan ?Date ?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 1392-1409
(=>
    (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 1466-1475
(=>
    (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 1416-1424


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