Investment - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Investment FinancialAsset)	FinancialOntology.kif 1814-1814	Investment is a subclass of financial asset
(documentation Investment EnglishLanguage "An item of value purchased for income or capital appreciation.")	FinancialOntology.kif 1815-1815	Investment is a subclass of financial asset

appearance as argument number 2

(subclass TaxFreeInvestment Investment)	FinancialOntology.kif 2168-2168	Tax free investment is a subclass of investment
(subclass TaxableInvestment Investment)	FinancialOntology.kif 2178-2178	Taxable investment is a subclass of investment
(subclass Stock Investment)	FinancialOntology.kif 2194-2194	Stock is a subclass of investment
(subclass Bond Investment)	FinancialOntology.kif 2299-2299	Bond is a subclass of investment
(termFormat EnglishLanguage Investment "investment")	domainEnglishFormat.kif 30861-30861	Bond is a subclass of investment
(termFormat ChineseTraditionalLanguage Investment "投資")	domainEnglishFormat.kif 30862-30862	Bond is a subclass of investment
(termFormat ChineseLanguage Investment "投资")	domainEnglishFormat.kif 30863-30863	Bond is a subclass of investment

appearance as argument number 3

(domain riskLevel 1 Investment)	FinancialOntology.kif 1890-1890	The number 1 argument of risk level is an instance of investment
(domain potentialLoss 2 Investment)	FinancialOntology.kif 1928-1928	The number 2 argument of potential loss is an instance of investment
(domain yield 1 Investment)	FinancialOntology.kif 2322-2322	The number 1 argument of yield is an instance of investment
(domain netAmount 1 Investment)	FinancialOntology.kif 3518-3518	The number 1 argument of net amount is an instance of investment

antecedent

(=> (instance ?Investment Investment) (exists (?Investing ?Agent) (and (agent ?Investing ?Agent) (possesses ?Agent ?Investment))))	FinancialOntology.kif 1817-1822	If X is an instance of investment, then there exist Y, Z such that Z is an agent of Y, and Z possesses X
(=> (and (riskTolerance ?Agent ?Level) (instance ?Investment Investment) (possesses ?Agent ?Investment)) (riskLevel ?Investment ?Level))	FinancialOntology.kif 3548-3553	If X is a risk tolerance of Y, Z is an instance of investment, and Y possesses Z, then the risk level of Z is X

consequent

(=>
    (attribute ?Agent Investor)
    (exists (?Investment)
        (and
            (instance ?Investment Investment)
            (possesses ?Agent ?Investment))))

If investor is an attribute of X, then there exists Y such that Y is an instance of investment and X possesses Y