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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - TreasuryBond

appearance as argument number 1

(documentation TreasuryBond EnglishLanguage "A negotiable, coupon-bearing debt obligation issued by the U.S. government and backed by its full faith and credit, having a maturity of more than 7 years. Interest is paid semi-annually. Exempt from state and local taxes.") FinancialOntology.kif 2461-2464
(subclass TreasuryBond Bond) FinancialOntology.kif 2460-2460 国债subclass

appearance as argument number 2

(termFormat ChineseLanguage TreasuryBond "国债") domainEnglishFormat.kif 59120-59120
(termFormat ChineseTraditionalLanguage TreasuryBond "國債") domainEnglishFormat.kif 59119-59119
(termFormat EnglishLanguage TreasuryBond "treasury bond") domainEnglishFormat.kif 59118-59118


    (instance ?Bond TreasuryBond)
    (exists (?Agent)
            (issuedBy ?Bond ?Agent)
            (instance ?Agent Government))))
FinancialOntology.kif 2466-2471

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