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 1250-1252
(subclass Loan LiabilityAccount) FinancialOntology.kif 1249-1249 Loan e' uma sub-classe de LiabilityAccount

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


(subclass BalloonLoan Loan) FinancialOntology.kif 1406-1406 BalloonLoan e' uma sub-classe de Loan
(subclass BankTermLoan Loan) FinancialOntology.kif 1488-1488 BankTermLoan e' uma sub-classe de Loan
(subclass BridgeLoan Loan) FinancialOntology.kif 1504-1504 BridgeLoan e' uma sub-classe de Loan
(subclass BrokerLoan Loan) FinancialOntology.kif 1508-1508 BrokerLoan e' uma sub-classe de Loan
(subclass CallableLoan Loan) FinancialOntology.kif 1425-1425 CallableLoan e' uma sub-classe de Loan
(subclass ConsolidationLoan Loan) FinancialOntology.kif 1519-1519 ConsolidationLoan e' uma sub-classe de Loan
(subclass DayLoan Loan) FinancialOntology.kif 1563-1563 DayLoan e' uma sub-classe de Loan
(subclass EvergreenLoan Loan) FinancialOntology.kif 1603-1603 EvergreenLoan e' uma sub-classe de Loan
(subclass IndexedLoan Loan) FinancialOntology.kif 1606-1606 IndexedLoan e' uma sub-classe de Loan
(subclass InterestOnlyLoan Loan) FinancialOntology.kif 1610-1610 InterestOnlyLoan e' uma sub-classe de Loan
(subclass PiggybankLoan Loan) FinancialOntology.kif 1585-1585 PiggybankLoan e' uma sub-classe de Loan
(subclass SecuredLoan Loan) FinancialOntology.kif 1345-1345 SecuredLoan e' uma sub-classe de Loan
(subclass SinglePaymentLoan Loan) FinancialOntology.kif 1592-1592 SinglePaymentLoan e' uma sub-classe de Loan
(subclass UnsecuredLoan Loan) FinancialOntology.kif 1353-1353 UnsecuredLoan e' uma sub-classe de Loan
(termFormat ChineseLanguage Loan "贷款") domainEnglishFormat.kif 34811-34811
(termFormat ChineseTraditionalLanguage Loan "貸款") domainEnglishFormat.kif 34810-34810
(termFormat EnglishLanguage Loan "loan") domainEnglishFormat.kif 34809-34809

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


(domain borrower 1 Loan) FinancialOntology.kif 1300-1300 O argumento numero 1 de borrower e' uma instancia de Loan
(domain downPayment 1 Loan) FinancialOntology.kif 802-802 O argumento numero 1 de downPayment e' uma instancia de Loan
(domain floorLoan 1 Loan) FinancialOntology.kif 797-797 O argumento numero 1 de floorLoan e' uma instancia de Loan
(domain lender 1 Loan) FinancialOntology.kif 1286-1286 O argumento numero 1 de lender e' uma instancia de Loan
(domain loanFeeAmount 1 Loan) FinancialOntology.kif 4157-4157 O argumento numero 1 de loanFeeAmount e' uma instancia de Loan
(domain loanForPurchase 1 Loan) FinancialOntology.kif 1312-1312 O argumento numero 1 de loanForPurchase e' uma instancia de Loan
(domain loanInterest 1 Loan) FinancialOntology.kif 3917-3917 O argumento numero 1 de loanInterest e' uma instancia de Loan

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


(<=>
    (exists (?Period)
        (and
            (instance ?Loan Loan)
            (agreementPeriod ?Loan ?Period)
            (interestEarned ?Loan ?Amount ?Period)))
    (loanInterest ?Loan ?Amount))		 FinancialOntology.kif 3920-3926 Intervalo Temporal Loan e' uma instancia de Loan agreementPeriod Loan and Intervalo Temporal interestEarned Loan, Interest and Intervalo Temporal 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 1273-1282
(=>
    (and
        (instance ?LOAN Loan)
        (equal ?START
            (BeginFn ?LOAN))
        (totalBalance ?LOAN ?BAL))
    (currentAccountBalance ?LOAN ?START ?BAL))		 FinancialOntology.kif 1399-1404
(=>
    (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 1334-1343
(=>
    (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 1449-1466
(=>
    (instance ?Loan Loan)
    (exists (?Borrower ?Lender)
        (and
            (borrower ?Loan ?Borrower)
            (lender ?Loan ?Lender))))		 FinancialOntology.kif 1254-1259

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 1449-1466
(=>
    (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 1523-1532
(=>
    (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 1473-1481


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