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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - DayLoan
DayLoan(day loan)

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 1580-1581
(subclass DayLoan Loan) FinancialOntology.kif 1579-1579 Day loan is a subclass of loan

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


(termFormat ChineseLanguage DayLoan "一天的贷款") domainEnglishFormat.kif 18687-18687
(termFormat ChineseTraditionalLanguage DayLoan "一天的貸款") domainEnglishFormat.kif 18686-18686
(termFormat EnglishLanguage DayLoan "day loan") domainEnglishFormat.kif 18685-18685

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


(=>
    (and
        (instance ?Loan DayLoan)
        (borrower ?Loan ?Borrower))
    (attribute ?Borrower Broker))
FinancialOntology.kif 1589-1593
(=>
    (and
        (instance ?Loan DayLoan)
        (lender ?Loan ?Lender))
    (instance ?Lender BankFinancialOrganization))
FinancialOntology.kif 1583-1587
(=>
    (instance ?Loan DayLoan)
    (and
        (agreementPeriod ?Loan ?Period)
        (duration ?Period
            (MeasureFn 1 DayDuration))))
FinancialOntology.kif 1595-1599


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 3.0 is open source software produced by Articulate Software and its partners