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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DayLoan

Sigma KEE - DayLoan
DayLoan

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


(documentation DayLoan EnglishLanguage "A bank loan to a Broker for the purchase of securities pending delivery through clearing later the same day.") FinancialOntology.kif 1563-1564
(subclass DayLoan Loan) FinancialOntology.kif 1562-1562

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


(termFormat ChineseLanguage DayLoan "一天的贷款") domainEnglishFormat.kif 18669-18669
(termFormat ChineseTraditionalLanguage DayLoan "一天的貸款") domainEnglishFormat.kif 18668-18668
(termFormat EnglishLanguage DayLoan "day loan") domainEnglishFormat.kif 18667-18667

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


(=>
    (and
        (instance ?Loan DayLoan)
        (borrower ?Loan ?Borrower))
    (attribute ?Borrower Broker))
FinancialOntology.kif 1572-1576
(=>
    (and
        (instance ?Loan DayLoan)
        (lender ?Loan ?Lender))
    (instance ?Lender Bank-FinancialOrganization))
FinancialOntology.kif 1566-1570
(=>
    (instance ?Loan DayLoan)
    (and
        (agreementPeriod ?Loan ?Period)
        (duration ?Period
            (MeasureFn 1 DayDuration))))
FinancialOntology.kif 1578-1582


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