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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TreasuryBond

Sigma KEE - TreasuryBond
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 TreasuryBond est une sous-classe de Bond

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

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


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


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