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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GovernmentBond

Sigma KEE - GovernmentBond
GovernmentBond

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 GovernmentBond est une sous-classe de Bond

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


(termFormat ChineseLanguage GovernmentBond "政府债券") domainEnglishFormat.kif 26274-26274
(termFormat ChineseTraditionalLanguage GovernmentBond "政府債券") domainEnglishFormat.kif 26273-26273
(termFormat EnglishLanguage GovernmentBond "government bond") domainEnglishFormat.kif 26272-26272

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 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