Investment(investment) | ![]() | speculation, venture |
appearance as argument number 1 |
![]() |
(documentation Investment EnglishLanguage "An item of value purchased for income or capital appreciation.") | FinancialOntology.kif 1786-1786 | |
(subclass Investment FinancialAsset) | FinancialOntology.kif 1785-1785 | Investment is a subclass of financial asset |
appearance as argument number 2 |
![]() |
(subclass Bond Investment) | FinancialOntology.kif 2275-2275 | Bond is a subclass of investment |
(subclass Stock Investment) | FinancialOntology.kif 2170-2170 | Stock is a subclass of investment |
(subclass TaxFreeInvestment Investment) | FinancialOntology.kif 2144-2144 | Tax free investment is a subclass of investment |
(subclass TaxableInvestment Investment) | FinancialOntology.kif 2154-2154 | Taxable investment is a subclass of investment |
(termFormat ChineseLanguage Investment "投资") | domainEnglishFormat.kif 30870-30870 | Taxable investment is a subclass of investment |
(termFormat ChineseTraditionalLanguage Investment "投資") | domainEnglishFormat.kif 30869-30869 | Taxable investment is a subclass of investment |
(termFormat EnglishLanguage Investment "investment") | domainEnglishFormat.kif 30868-30868 | Taxable investment is a subclass of investment |
appearance as argument number 3 |
![]() |
(domain netAmount 1 Investment) | FinancialOntology.kif 3478-3478 | The number 1 argument of net amount is an instance of investment |
(domain potentialLoss 2 Investment) | FinancialOntology.kif 1899-1899 | The number 2 argument of potential loss is an instance of investment |
(domain riskLevel 1 Investment) | FinancialOntology.kif 1861-1861 | The number 1 argument of risk level is an instance of investment |
(domain yield 1 Investment) | FinancialOntology.kif 2298-2298 | 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 3508-3513 |
|
(=> (instance ?Investment Investment) (exists (?Investing ?Agent) (and (agent ?Investing ?Agent) (possesses ?Agent ?Investment)))) |
FinancialOntology.kif 1788-1793 |
|
consequent |
![]() |
(=> (attribute ?Agent Investor) (exists (?Investment) (and (instance ?Investment Investment) (possesses ?Agent ?Investment)))) |
FinancialOntology.kif 1803-1808 |
|
![]() |
![]() |