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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BankTermLoan

Sigma KEE - BankTermLoan
BankTermLoan(bank term loan)bank_term_loan

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


s__documentation(s__BankTermLoan,s__EnglishLanguage,'A bank loan terminating in one year or more.')

FinancialOntology.kif 1432-1432
s__instance(s__Loan,s__SetOrClass)

s__instance(s__BankTermLoan,s__SetOrClass)

s__subclass(s__BankTermLoan,s__Loan)

FinancialOntology.kif 1431-1431 Bank term loan is a subclass of loan

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


s__termFormat(s__EnglishLanguage,s__BankTermLoan,'bank term loan')

domainEnglishFormat.kif 2076-2076 "bank term loan" is the printable form of bank term loan in english language

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


( ∀ [V__Period,V__Duration,V__Loan]
   ((s__instance(V__Period,s__TimeInterval)s__and__ms__instance(V__Duration,s__RealNumber))
    s__=>((s__instance(V__Loan,s__BankTermLoan)s__and__ms__agreementPeriod(V__Loan,V__Period)
      s__and__ms__duration(V__Period,s__MeasureFn(V__Duration,s__YearDuration)))
  s__=>s__greaterThanOrEqualTo(V__Duration,1)))
)

FinancialOntology.kif 1440-1445
( ∀ [V__Lender,V__Loan]
   (s__instance(V__Lender,s__CognitiveAgent)s__=>((s__instance(V__Loan,s__BankTermLoan)s__and__ms__lender(V__Loan,V__Lender))
    s__=>s__instance(V__Lender,s__Bank_FinancialOrganization)))
)

FinancialOntology.kif 1434-1438


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