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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lender

Sigma KEE - lender
lender

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


(documentation lender EnglishLanguage "(lender ?Loan ?Agent) means that ?Agent is a private, public or institutional entity that put up the funds for the ?Loan.") FinancialOntology.kif 1230-1231
(domain lender 1 Loan) FinancialOntology.kif 1228-1228 The number 1 argument of lender is an instance of loan
(domain lender 2 CognitiveAgent) FinancialOntology.kif 1229-1229 The number 2 argument of lender is an instance of cognitive agent
(instance lender BinaryPredicate) FinancialOntology.kif 1227-1227 lender is an instance of binary predicate
(subrelation lender partyToAgreement) FinancialOntology.kif 1226-1226 lender is a subrelation of party to agreement

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


(format EnglishLanguage lender "%2 lends %1") domainEnglishFormat.kif 944-944
(termFormat EnglishLanguage lender "lender") domainEnglishFormat.kif 6077-6077 "lender" is the printable form of lender in english language

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 1203-1213
(=>
    (and
        (instance ?Loan BankTermLoan)
        (lender ?Loan ?Lender))
    (instance ?Lender Bank-FinancialOrganization))
FinancialOntology.kif 1434-1438
(=>
    (and
        (instance ?Loan CallableLoan)
        (lender ?Loan ?Lender)
        (borrower ?Loan ?Borrower)
        (totalBalance ?Loan ?Amount)
        (instance ?Call Call)
        (agent ?Call ?Lender)
        (time ?Call ?Time)
        (patient ?Call ?Loan))
    (holdsObligation
        (KappaFn ?Payment
            (and
                (destination ?Payment ?Lender)
                (time ?Payment
                    (ImmediateFutureFn
                        (WhenFn ?Call)))
                (transactionAmount ?Payment ?Amount))) ?Borrower))
FinancialOntology.kif 1370-1386
(=>
    (and
        (instance ?Loan DayLoan)
        (lender ?Loan ?Lender))
    (instance ?Lender Bank-FinancialOrganization))
FinancialOntology.kif 1511-1515
(=>
    (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
(=>
    (lender ?Loan ?Agent)
    (exists (?Lending)
        (and
            (instance ?Lending Lending)
            (agent ?Lending ?Agent))))
FinancialOntology.kif 1233-1238

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


(=>
    (instance ?Loan Loan)
    (exists (?Borrower ?Lender)
        (and
            (borrower ?Loan ?Borrower)
            (lender ?Loan ?Lender))))
FinancialOntology.kif 1196-1201
(=>
    (instance ?Loan PiggybankLoan)
    (equal
        (CardinalityFn
            (KappaFn ?Lender
                (lender ?Loan ?Lender))) 2))
FinancialOntology.kif 1532-1534
(=>
    (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