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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PiggybankLoan

Sigma KEE - PiggybankLoan
PiggybankLoan(piggybank loan)
piggybank_loan

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


(documentation PiggybankLoan EnglishLanguage "Two lenders participating in the same loan.") FinancialOntology.kif 1530-1530
(externalImage PiggybankLoan "http://upload.wikimedia.org/wikipedia/commons/ f/ fb/ Sparschwein_Haspa01.jpg") pictureList.kif 8661-8661 "http://upload.wikimedia.org/wikipedia/commons/f/fb/ Sparschwein_Haspa01.jpg" is a URL depicting piggybank loan
(subclass PiggybankLoan Loan) FinancialOntology.kif 1529-1529 Piggybank loan is a subclass of loan

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


(termFormat EnglishLanguage PiggybankLoan "piggybank loan") domainEnglishFormat.kif 8061-8061 "piggybank loan" is the printable form of piggybank loan in english language

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


(=>
    (instance ?Loan PiggybankLoan)
    (equal
        (CardinalityFn
            (KappaFn ?Lender
                (lender ?Loan ?Lender))) 2))
FinancialOntology.kif 1532-1534


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