TreasuryBond - Sigma Knowledge base Browser

appearance as argument number 1

(subclass TreasuryBond Bond)	FinancialOntology.kif 2501-2501	Treasury bond is a subclass of bond
(documentation TreasuryBond EnglishLanguage "A negotiable, coupon_bearing debt obligation issued by the U.S. government and backed by its full faith and credit, having a maturity of more than 7 years. Interest is paid semi_annually. Exempt from state and local taxes.")	FinancialOntology.kif 2502-2505	Treasury bond is a subclass of bond

appearance as argument number 2

(termFormat EnglishLanguage TreasuryBond "treasury bond")	domainEnglishFormat.kif 59095-59095
(termFormat ChineseTraditionalLanguage TreasuryBond "國債")	domainEnglishFormat.kif 59096-59096
(termFormat ChineseLanguage TreasuryBond "国债")	domainEnglishFormat.kif 59097-59097

antecedent

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

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