TaxableInvestment - Sigma Knowledge base Browser

appearance as argument number 1

Taxable investment is a subclass of investment

appearance as argument number 2

(subclass CorporateBond TaxableInvestment)	FinancialOntology.kif 2416-2416	Corporate bond is a subclass of taxable investment
(termFormat EnglishLanguage TaxableInvestment "taxable investment")	domainEnglishFormat.kif 57044-57044	Corporate bond is a subclass of taxable investment
(termFormat ChineseTraditionalLanguage TaxableInvestment "應稅投資")	domainEnglishFormat.kif 57045-57045	Corporate bond is a subclass of taxable investment
(termFormat ChineseLanguage TaxableInvestment "应税投资")	domainEnglishFormat.kif 57046-57046	Corporate bond is a subclass of taxable investment

antecedent

(=>
    (instance ?Investment TaxableInvestment)
    (exists (?Tax)
        (and
            (instance ?Tax Tax)
            (origin ?Tax ?Investment))))

If X is an instance of taxable investment, then there exists Y such that Y is an instance of tax and Y originates at X