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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - borrower
borrower

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


s__documentation(s__borrower__m,s__EnglishLanguage,'"(borrower ?Loan ?Agent) means that ?Agent is a borrower of the ?Loan"')

FinancialOntology.kif 1243-1243
s__domain(s__borrower__m,n__1,s__Loan)

FinancialOntology.kif 1241-1241 The number 1 argument of borrower is an instance of loan
s__domain(s__borrower__m,n__2,s__CognitiveAgent)

FinancialOntology.kif 1242-1242 The number 2 argument of borrower is an instance of cognitive agent
s__instance(s__borrower__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

FinancialOntology.kif 1240-1240 borrower is an instance of binary predicate
s__subrelation(s__borrower__m,s__partyToAgreement__m)

FinancialOntology.kif 1239-1239 borrower is a subrelation of party to agreement

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


s__format(s__ChineseLanguage,s__borrower__m,'"%1 是 %2 的 borrower "')

domainEnglishFormat.kif 2907-2907
s__format(s__ChineseTraditionalLanguage,s__borrower__m,'"%1 是 %2 的 borrower "')

domainEnglishFormat.kif 2906-2906
s__format(s__EnglishLanguage,s__borrower__m,'"%1 is the borrower of %2"')

domainEnglishFormat.kif 2905-2905
s__termFormat(s__ChineseLanguage,s__borrower__m,'"借款人"')

domainEnglishFormat.kif 11623-11623
s__termFormat(s__ChineseTraditionalLanguage,s__borrower__m,'"借款人"')

domainEnglishFormat.kif 11622-11622
s__termFormat(s__EnglishLanguage,s__borrower__m,'"borrower"')

domainEnglishFormat.kif 11621-11621

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


( ! [V__Lender,V__Period,V__Loan,V__Interest,V__Borrower] :
   ((s__instance(V__Lender,s__CognitiveAgent) &
       s__instance(V__Period,s__TimeInterval) &
       s__instance(V__Loan,s__Loan) &
       s__instance(V__Interest,s__Interest) &
       s__instance(V__Borrower,s__CognitiveAgent))
     =>
     (s__borrower(V__Loan,V__Borrower)
     &
     s__lender(V__Loan,V__Lender)
   &
   s__agreementPeriod(V__Loan,V__Period)
&
s__interestEarned(V__Loan,V__Interest,V__Period))
=>
( ? [V__Payment] :
((s__instance(V__Payment,s__FinancialTransaction) &
   (s__origin(V__Payment,V__Borrower)
   &
   s__transactionAmount(V__Payment,V__Interest)
&
s__destination(V__Payment,V__Lender)))))
)
)

FinancialOntology.kif 1202-1212
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1214-1223
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1352-1362
( ! [V__Loan,V__Borrower] :
   (s__instance(V__Borrower,s__CognitiveAgent) =>
     (s__instance(V__Loan,s__BrokerLoan) &
       s__borrower(V__Loan,V__Borrower))
   =>
   s__attribute(V__Borrower,s__Broker) )
)

FinancialOntology.kif 1454-1458
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1369-1384
( ! [V__Loan,V__Borrower] :
   (s__instance(V__Borrower,s__CognitiveAgent) =>
     (s__instance(V__Loan,s__DayLoan) &
       s__borrower(V__Loan,V__Borrower))
   =>
   s__attribute(V__Borrower,s__Broker) )
)

FinancialOntology.kif 1515-1519
( ! [V__Amount,V__Time,V__Collateral,V__Loan,V__Refinancing,V__Borrower] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__Time,s__Day) &
       s__instance(V__Collateral,s__Collateral) &
       s__instance(V__Borrower,s__CognitiveAgent))
     =>
     (s__instance(V__Refinancing,s__Refinancing) &
       s__time(V__Refinancing,V__Time)
     &
     s__instance(V__Loan,s__Loan) &
     s__securedBy(V__Loan,V__Collateral)
   &
   s__borrower(V__Loan,V__Borrower)
&
s__currentAccountBalance(V__Loan,V__Time,V__Amount)
&
s__patient(V__Refinancing,V__Loan))
=>
( ? [V__NewLoan, V__Payment] :
((s__instance(V__Payment,s__FinancialTransaction) &
(s__instance(V__NewLoan,s__Loan) &
   s__borrower(V__NewLoan,V__Borrower)
&
s__securedBy(V__Loan,V__Collateral)
&
s__destination(V__Payment,s__CurrencyFn(V__Loan))
&
s__time(V__Payment,V__Time)
&
s__origin(V__Payment,s__CurrencyFn(V__NewLoan))
&
s__transactionAmount(V__Payment,V__Amount)))))
)
)

FinancialOntology.kif 1390-1407
( ! [V__Loan,V__Agent] :
   ((s__instance(V__Loan,s__Loan) &
       s__instance(V__Agent,s__CognitiveAgent))
     =>
     s__borrower(V__Loan,V__Agent)
   =>
   ( ? [V__Borrowing] :
     ((s__instance(V__Borrowing,s__Borrowing) &
         s__agent(V__Borrowing,V__Agent))))
)
)

FinancialOntology.kif 1245-1250

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


( ! [V__Amount,V__Time,V__Collateral,V__Loan,V__Refinancing,V__Borrower] :
   ((s__instance(V__Amount,s__CurrencyMeasure) &
       s__instance(V__Time,s__Day) &
       s__instance(V__Collateral,s__Collateral) &
       s__instance(V__Borrower,s__CognitiveAgent))
     =>
     (s__instance(V__Refinancing,s__Refinancing) &
       s__time(V__Refinancing,V__Time)
     &
     s__instance(V__Loan,s__Loan) &
     s__securedBy(V__Loan,V__Collateral)
   &
   s__borrower(V__Loan,V__Borrower)
&
s__currentAccountBalance(V__Loan,V__Time,V__Amount)
&
s__patient(V__Refinancing,V__Loan))
=>
( ? [V__NewLoan, V__Payment] :
((s__instance(V__Payment,s__FinancialTransaction) &
(s__instance(V__NewLoan,s__Loan) &
   s__borrower(V__NewLoan,V__Borrower)
&
s__securedBy(V__Loan,V__Collateral)
&
s__destination(V__Payment,s__CurrencyFn(V__Loan))
&
s__time(V__Payment,V__Time)
&
s__origin(V__Payment,s__CurrencyFn(V__NewLoan))
&
s__transactionAmount(V__Payment,V__Amount)))))
)
)

FinancialOntology.kif 1390-1407
( ! [V__Loan] :
   (s__instance(V__Loan,s__Loan) =>
     ( ? [V__Borrower, V__Lender] :
       ((s__instance(V__Borrower,s__CognitiveAgent) &
           s__instance(V__Lender,s__CognitiveAgent) &
           (s__borrower(V__Loan,V__Borrower)
           &
           s__lender(V__Loan,V__Lender)))))
)
)

FinancialOntology.kif 1195-1200
( ! [V__Commitment] :
   (s__instance(V__Commitment,s__CognitiveAgent) =>
     s__property(V__Commitment,s__LoanCommitment) =>
     ( ? [V__Loan, V__Lender, V__Borrower] :
       ((s__instance(V__Lender,s__Agreement) &
           s__instance(V__Lender,s__CognitiveAgent) &
           s__instance(V__Borrower,s__Agreement) &
           s__instance(V__Borrower,s__CognitiveAgent) &
           (s__instance(V__Loan,s__Loan) &
             s__lender(V__Loan,V__Lender)
           &
           s__borrower(V__Loan,V__Borrower)
         &
         s__partyToAgreement(V__Commitment,V__Lender)
       &
       s__partyToAgreement(V__Commitment,V__Borrower)))))
)
)

FinancialOntology.kif 1414-1422


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners