MunicipalBond - Sigma Knowledge base Browser

appearance as argument number 1

(subclass MunicipalBond Bond)	FinancialOntology.kif 2403-2403	Municipal bond is a subclass of bond
(subclass MunicipalBond TaxFreeInvestment)	FinancialOntology.kif 2404-2404	Municipal bond is a subclass of tax free investment
(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 2405-2406	Municipal bond is a subclass of tax free investment
(externalImage MunicipalBond "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ Obligacja1929Krakow10.jpg")	pictureList.kif 6711-6711	Municipal bond is a subclass of tax free investment

appearance as argument number 2

(termFormat EnglishLanguage MunicipalBond "municipal bond")	domainEnglishFormat.kif 39283-39283
(termFormat ChineseTraditionalLanguage MunicipalBond "市政債券")	domainEnglishFormat.kif 39284-39284
(termFormat ChineseLanguage MunicipalBond "市政债券")	domainEnglishFormat.kif 39285-39285

antecedent

(=>
    (instance ?Bond MunicipalBond)
    (exists (?Agent)
        (and
            (instance ?Agent Government)
            (issuedBy ?Bond ?Agent))))

If X is an instance of municipal bond, then there exists Y such that Y is an instance of government and Y is an issued by of X