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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2431-2431
(externalImage GovernmentBond "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Main_Credit_Ratings.png") pictureList.kif 6598-6598
(externalImage GovernmentBond "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ Woman_seling_war_bonds_1943.gif") pictureList.kif 7021-7021
(subclass GovernmentBond Bond) FinancialOntology.kif 2430-2430 Government bond is a subclass of bond

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


(termFormat ChineseLanguage GovernmentBond "政府债券") domainEnglishFormat.kif 26308-26308
(termFormat ChineseTraditionalLanguage GovernmentBond "政府債券") domainEnglishFormat.kif 26307-26307
(termFormat EnglishLanguage GovernmentBond "government bond") domainEnglishFormat.kif 26306-26306

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


(=>
    (instance ?Bond GovernmentBond)
    (bondRating ?Bond AAA-Rating))
FinancialOntology.kif 2448-2450
(=>
    (instance ?Bond GovernmentBond)
    (exists (?Agent)
        (and
            (issuedBy ?Bond ?Agent)
            (instance ?Agent Government))))
FinancialOntology.kif 2433-2438
(=>
    (instance ?Bond GovernmentBond)
    (riskLevel ?Bond LowRisk))
FinancialOntology.kif 2440-2442
(=>
    (instance ?Bond GovernmentBond)
    (yieldLevel ?Bond LowYield))
FinancialOntology.kif 2444-2446


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