| Investment(investment) | | speculation, venture |
| appearance as argument number 1 |
|
|
| (documentation Investment EnglishLanguage "An item of value purchased for income or capital appreciation.") | FinancialOntology.kif 1738-1738 | |
| (subclass Investment FinancialAsset) | FinancialOntology.kif 1737-1737 | Investment is a subclass of financial asset |
| appearance as argument number 2 |
|
|
| (subclass Bond Investment) | FinancialOntology.kif 2228-2228 | Bond is a subclass of investment |
| (subclass Stock Investment) | FinancialOntology.kif 2124-2124 | Stock is a subclass of investment |
| (subclass TaxFreeInvestment Investment) | FinancialOntology.kif 2098-2098 | Tax free investment is a subclass of investment |
| (subclass TaxableInvestment Investment) | FinancialOntology.kif 2108-2108 | Taxable investment is a subclass of investment |
| (termFormat ChineseLanguage Investment "投资") | domainEnglishFormat.kif 30846-30846 | |
| (termFormat ChineseTraditionalLanguage Investment "投資") | domainEnglishFormat.kif 30845-30845 | |
| (termFormat EnglishLanguage Investment "investment") | domainEnglishFormat.kif 30844-30844 |
| appearance as argument number 3 |
|
|
| (domain netAmount 1 Investment) | FinancialOntology.kif 3420-3420 | The number 1 argument of net amount is an instance of investment |
| (domain potentialLoss 2 Investment) | FinancialOntology.kif 1852-1852 | The number 2 argument of potential loss is an instance of investment |
| (domain riskLevel 1 Investment) | FinancialOntology.kif 1815-1815 | The number 1 argument of risk level is an instance of investment |
| (domain yield 1 Investment) | FinancialOntology.kif 2251-2251 | The number 1 argument of yield is an instance of investment |
| antecedent |
|
|
| (=> (and (riskTolerance ?Agent ?Level) (instance ?Investment Investment) (possesses ?Agent ?Investment)) (riskLevel ?Investment ?Level)) |
FinancialOntology.kif 3451-3456 |
|
| (=> (instance ?Investment Investment) (exists (?Investing ?Agent) (and (agent ?Investing ?Agent) (possesses ?Agent ?Investment)))) |
FinancialOntology.kif 1740-1745 |
|
| consequent |
|
|
| (=> (attribute ?Agent Investor) (exists (?Investment) (and (instance ?Investment Investment) (possesses ?Agent ?Investment)))) |
FinancialOntology.kif 1755-1760 |
|
|
|
|