TreeView Knowledge Base Browser

appearance as argument number 1

(subclass CorporateBond Bond)	FinancialOntology.kif 2415-2415	Corporate bond is a subclass of bond
(subclass CorporateBond TaxableInvestment)	FinancialOntology.kif 2416-2416	Corporate bond is a subclass of taxable investment
(documentation CorporateBond EnglishLanguage "A bond issued by a corporation. Such bonds usually have a par value of $1,000, are taxable, have a term maturity, are paid for out of a sinking fund accumulated for that purpose, and are traded on major exchanges.")	FinancialOntology.kif 2417-2419	Corporate bond is a subclass of taxable investment

appearance as argument number 2

(subclass MortgageBond CorporateBond)	FinancialOntology.kif 2449-2449	Mortgage bond is a subclass of corporate bond
(subclass JunkBond CorporateBond)	FinancialOntology.kif 2454-2454	Junk bond is a subclass of corporate bond
(termFormat EnglishLanguage CorporateBond "corporate bond")	domainEnglishFormat.kif 17370-17370	Junk bond is a subclass of corporate bond
(termFormat ChineseTraditionalLanguage CorporateBond "公司債券")	domainEnglishFormat.kif 17371-17371	Junk bond is a subclass of corporate bond
(termFormat ChineseLanguage CorporateBond "公司债券")	domainEnglishFormat.kif 17372-17372	Junk bond is a subclass of corporate bond

antecedent

(=>
    (instance ?Bond CorporateBond)
    (exists (?Agent)
        (and
            (instance ?Agent Corporation)
            (issuedBy ?Bond ?Agent))))

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