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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TreasuryBond

Sigma KEE - TreasuryBond
TreasuryBond(treasury bond)

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 2469-2472
(subclass TreasuryBond Bond) FinancialOntology.kif 2468-2468 Treasury bond is a subclass of bond

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


(termFormat ChineseLanguage TreasuryBond "国债") domainEnglishFormat.kif 59087-59087
(termFormat ChineseTraditionalLanguage TreasuryBond "國債") domainEnglishFormat.kif 59086-59086
(termFormat EnglishLanguage TreasuryBond "treasury bond") domainEnglishFormat.kif 59085-59085

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


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


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