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 1204-1206
(subclass Loan LiabilityAccount) FinancialOntology.kif 1203-1203

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


(subclass BalloonLoan Loan) FinancialOntology.kif 1360-1360
(subclass BankTermLoan Loan) FinancialOntology.kif 1442-1442
(subclass BridgeLoan Loan) FinancialOntology.kif 1458-1458
(subclass BrokerLoan Loan) FinancialOntology.kif 1462-1462
(subclass CallableLoan Loan) FinancialOntology.kif 1379-1379
(subclass ConsolidationLoan Loan) FinancialOntology.kif 1473-1473
(subclass DayLoan Loan) FinancialOntology.kif 1518-1518
(subclass EvergreenLoan Loan) FinancialOntology.kif 1558-1558
(subclass IndexedLoan Loan) FinancialOntology.kif 1561-1561
(subclass InterestOnlyLoan Loan) FinancialOntology.kif 1565-1565
(subclass PiggybankLoan Loan) FinancialOntology.kif 1540-1540
(subclass SecuredLoan Loan) FinancialOntology.kif 1299-1299
(subclass SinglePaymentLoan Loan) FinancialOntology.kif 1547-1547
(subclass UnsecuredLoan Loan) FinancialOntology.kif 1307-1307
(termFormat ChineseLanguage Loan "贷款") domainEnglishFormat.kif 34794-34794
(termFormat ChineseTraditionalLanguage Loan "貸款") domainEnglishFormat.kif 34793-34793
(termFormat EnglishLanguage Loan "loan") domainEnglishFormat.kif 34792-34792

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


(domain borrower 1 Loan) FinancialOntology.kif 1254-1254
(domain downPayment 1 Loan) FinancialOntology.kif 761-761
(domain floorLoan 1 Loan) FinancialOntology.kif 756-756
(domain lender 1 Loan) FinancialOntology.kif 1240-1240
(domain loanFeeAmount 1 Loan) FinancialOntology.kif 4069-4069
(domain loanForPurchase 1 Loan) FinancialOntology.kif 1266-1266
(domain loanInterest 1 Loan) FinancialOntology.kif 3828-3828

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


(<=>
    (exists (?Period)
        (and
            (instance ?Loan Loan)
            (agreementPeriod ?Loan ?Period)
            (interestEarned ?Loan ?Amount ?Period)))
    (loanInterest ?Loan ?Amount))
FinancialOntology.kif 3831-3837
(=>
    (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 1227-1236
(=>
    (and
        (instance ?LOAN Loan)
        (equal ?START
            (BeginFn ?LOAN))
        (totalBalance ?LOAN ?BAL))
    (currentAccountBalance ?LOAN ?START ?BAL))
FinancialOntology.kif 1353-1358
(=>
    (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 1288-1297
(=>
    (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 1403-1420
(=>
    (instance ?Loan Loan)
    (exists (?Borrower ?Lender)
        (and
            (borrower ?Loan ?Borrower)
            (lender ?Loan ?Lender))))
FinancialOntology.kif 1208-1213

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 1403-1420
(=>
    (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 1477-1486
(=>
    (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 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