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 1318-1318
(domain borrower 1 Loan) FinancialOntology.kif 1316-1316 Le nombre 1 argument de borrower est une instance de Loan
(domain borrower 2 CognitiveAgent) FinancialOntology.kif 1317-1317 Le nombre 2 argument de borrower est une instance de agent cognitif
(instance borrower BinaryPredicate) FinancialOntology.kif 1315-1315 borrower est une instance de pr�dicat binaire
(subrelation borrower partyToAgreement) FinancialOntology.kif 1314-1314 borrower est une sous-relation de partyToAgreement

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


(format ChineseLanguage borrower "%1 是 %2 的 borrower ") domainEnglishFormat.kif 2906-2906
(format ChineseTraditionalLanguage borrower "%1 是 %2 的 borrower ") domainEnglishFormat.kif 2905-2905
(format EnglishLanguage borrower "%1 is the borrower of %2") domainEnglishFormat.kif 2904-2904
(termFormat ChineseLanguage borrower "借款人") domainEnglishFormat.kif 11690-11690
(termFormat ChineseTraditionalLanguage borrower "借款人") domainEnglishFormat.kif 11689-11689
(termFormat EnglishLanguage borrower "borrower") domainEnglishFormat.kif 11688-11688

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 1277-1287
(=>
    (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 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 1427-1437
(=>
    (and
        (instance ?Loan BrokerLoan)
        (borrower ?Loan ?Borrower))
    (attribute ?Borrower Broker))		 FinancialOntology.kif 1529-1533
(=>
    (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 1444-1459
(=>
    (and
        (instance ?Loan DayLoan)
        (borrower ?Loan ?Borrower))
    (attribute ?Borrower Broker))		 FinancialOntology.kif 1589-1593
(=>
    (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
(=>
    (borrower ?Loan ?Agent)
    (exists (?Borrowing)
        (and
            (instance ?Borrowing Borrowing)
            (agent ?Borrowing ?Agent))))		 FinancialOntology.kif 1320-1325

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 Loan)
    (exists (?Borrower ?Lender)
        (and
            (borrower ?Loan ?Borrower)
            (lender ?Loan ?Lender))))		 FinancialOntology.kif 1270-1275
(=>
    (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 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