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

Formal Language: 



KB Term:  Term intersection
English Word: 

  borrower

 Sigma KEE - borrower
borrower

appearance as argument number 1
-------------------------


(documentation borrower EnglishLanguage "(borrower ?Loan ?Agent) means that ?Agent is a borrower of the ?Loan") FinancialOntology.kif 1302-1302
(domain borrower 1 Loan) FinancialOntology.kif 1300-1300 borrower の数値 1 引数は Loan の instance では %n
(domain borrower 2 CognitiveAgent) FinancialOntology.kif 1301-1301 borrower の数値 2 引数は 認識エージェント の instance では %n
(instance borrower BinaryPredicate) FinancialOntology.kif 1299-1299 borrower は 2進述語 の instance では %n
(subrelation borrower partyToAgreement) FinancialOntology.kif 1298-1298 borrower は partyToAgreement の subrelation では %n

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


(format ChineseLanguage borrower "%1 是 %2 的 borrower ") domainEnglishFormat.kif 2910-2910
(format ChineseTraditionalLanguage borrower "%1 是 %2 的 borrower ") domainEnglishFormat.kif 2909-2909
(format EnglishLanguage borrower "%1 is the borrower of %2") domainEnglishFormat.kif 2908-2908
(termFormat ChineseLanguage borrower "借款人") domainEnglishFormat.kif 11681-11681
(termFormat ChineseTraditionalLanguage borrower "借款人") domainEnglishFormat.kif 11680-11680
(termFormat EnglishLanguage borrower "borrower") domainEnglishFormat.kif 11679-11679

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


(=>
    (and
        (borrower ?Loan ?Borrower)
        (lender ?Loan ?Lender)
        (agreementPeriod ?Loan ?Period)
        (interestEarned ?Loan ?Interest ?Period))
    (exists (?Payment)
        (and
            (origin ?Payment ?Borrower)
            (transactionAmount ?Payment ?Interest)
            (destination ?Payment ?Lender))))		 FinancialOntology.kif 1261-1271
(=>
    (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 BalloonLoan)
        (maturityDate ?Loan ?Date)
        (totalBalance ?Loan ?Amount)
        (borrower ?Loan ?Agent))
    (holdsObligation
        (KappaFn ?Payment
            (and
                (date ?Payment ?Date)
                (transactionAmount ?Payment ?Amount)
                (destination ?Payment
                    (CurrencyFn ?Loan)))) ?Agent))		 FinancialOntology.kif 1411-1421
(=>
    (and
        (instance ?Loan BrokerLoan)
        (borrower ?Loan ?Borrower))
    (attribute ?Borrower Broker))		 FinancialOntology.kif 1513-1517
(=>
    (and
        (instance ?Loan CallableLoan)
        (lender ?Loan ?Lender)
        (borrower ?Loan ?Borrower)
        (totalBalance ?Loan ?Amount)
        (instance ?Call Call)
        (agent ?Call ?Lender)
        (patient ?Call ?Loan))
    (holdsObligation
        (KappaFn ?Payment
            (and
                (destination ?Payment ?Lender)
                (time ?Payment
                    (ImmediateFutureFn
                        (WhenFn ?Call)))
                (transactionAmount ?Payment ?Amount))) ?Borrower))		 FinancialOntology.kif 1428-1443
(=>
    (and
        (instance ?Loan DayLoan)
        (borrower ?Loan ?Borrower))
    (attribute ?Borrower Broker))		 FinancialOntology.kif 1573-1577
(=>
    (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
(=>
    (borrower ?Loan ?Agent)
    (exists (?Borrowing)
        (and
            (instance ?Borrowing Borrowing)
            (agent ?Borrowing ?Agent))))		 FinancialOntology.kif 1304-1309

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 Loan)
    (exists (?Borrower ?Lender)
        (and
            (borrower ?Loan ?Borrower)
            (lender ?Loan ?Lender))))		 FinancialOntology.kif 1254-1259
(=>
    (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 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 3.0 is open source software produced by Articulate Software and its partners