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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GovernmentBond

Sigma KEE - GovernmentBond
GovernmentBond(government bond)
government_bond

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


(documentation GovernmentBond EnglishLanguage "A bond sold by the U.S. government.") FinancialOntology.kif 2439-2439
(externalImage GovernmentBond "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Main_Credit_Ratings.png") pictureList.kif 6599-6599
(externalImage GovernmentBond "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ Woman_seling_war_bonds_1943.gif") pictureList.kif 7022-7022
(subclass GovernmentBond Bond) FinancialOntology.kif 2438-2438 Government bond is a subclass of bond

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


(termFormat ChineseLanguage GovernmentBond "政府债券") domainEnglishFormat.kif 26265-26265
(termFormat ChineseTraditionalLanguage GovernmentBond "政府債券") domainEnglishFormat.kif 26264-26264
(termFormat EnglishLanguage GovernmentBond "government bond") domainEnglishFormat.kif 26263-26263

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


(=>
    (instance ?Bond GovernmentBond)
    (bondRating ?Bond AAA-Rating))
FinancialOntology.kif 2456-2458
(=>
    (instance ?Bond GovernmentBond)
    (exists (?Agent)
        (and
            (issuedBy ?Bond ?Agent)
            (instance ?Agent Government))))
FinancialOntology.kif 2441-2446
(=>
    (instance ?Bond GovernmentBond)
    (riskLevel ?Bond LowRisk))
FinancialOntology.kif 2448-2450
(=>
    (instance ?Bond GovernmentBond)
    (yieldLevel ?Bond LowYield))
FinancialOntology.kif 2452-2454


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