TaxFreeInvestment - Sigma Knowledge base Browser

appearance as argument number 1

FinancialOntology.kif 2144-2144

TaxFreeInvestment is a subclass of Investment

appearance as argument number 2

(subclass MunicipalBond TaxFreeInvestment)	FinancialOntology.kif 2380-2380	MunicipalBond is a subclass of TaxFreeInvestment
(termFormat ChineseLanguage TaxFreeInvestment "免税投资")	domainEnglishFormat.kif 57064-57064	MunicipalBond is a subclass of TaxFreeInvestment
(termFormat ChineseTraditionalLanguage TaxFreeInvestment "免稅投資")	domainEnglishFormat.kif 57063-57063	MunicipalBond is a subclass of TaxFreeInvestment
(termFormat EnglishLanguage TaxFreeInvestment "tax free investment")	domainEnglishFormat.kif 57062-57062	MunicipalBond is a subclass of TaxFreeInvestment

antecedent

(=>
    (instance ?Investment TaxFreeInvestment)
    (not
        (exists (?Tax)
            (and
                (instance ?Tax Tax)
                (origin ?Tax ?Investment)))))

FinancialOntology.kif 2146-2152

If an object is an instance of TaxFreeInvestment,
then there doesn't exist a process such that the process is an instance of Tax and the process originates at the object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: