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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MunicipalBond

Sigma KEE - MunicipalBond
MunicipalBond(municipal bond)
municipal_bond

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


(documentation MunicipalBond EnglishLanguage "Bond issued by a state, city, or local government to finance operations or special projects, interest on it is often tax-free.") FinancialOntology.kif 2378-2379
(externalImage MunicipalBond "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ Obligacja1929Krakow10.jpg") pictureList.kif 6713-6713
(subclass MunicipalBond Bond) FinancialOntology.kif 2376-2376 Municipal bond is a subclass of bond
(subclass MunicipalBond TaxFreeInvestment) FinancialOntology.kif 2377-2377 Municipal bond is a subclass of tax free investment

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


(termFormat ChineseLanguage MunicipalBond "市政债券") domainEnglishFormat.kif 39294-39294
(termFormat ChineseTraditionalLanguage MunicipalBond "市政債券") domainEnglishFormat.kif 39293-39293
(termFormat EnglishLanguage MunicipalBond "municipal bond") domainEnglishFormat.kif 39292-39292

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


(=>
    (instance ?Bond MunicipalBond)
    (exists (?Agent)
        (and
            (instance ?Agent Government)
            (issuedBy ?Bond ?Agent))))
FinancialOntology.kif 2381-2386


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