| Investment | |
| appearance as argument number 1 |
|
|
| (documentation Investment EnglishLanguage "An item of value purchased for income or capital appreciation.") | FinancialOntology.kif 1769-1769 | |
| (subclass Investment FinancialAsset) | FinancialOntology.kif 1768-1768 | Investment は FinancialAsset の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass Bond Investment) | FinancialOntology.kif 2258-2258 | Bond は Investment の subclass では %n |
| (subclass Stock Investment) | FinancialOntology.kif 2153-2153 | Stock は Investment の subclass では %n |
| (subclass TaxFreeInvestment Investment) | FinancialOntology.kif 2127-2127 | TaxFreeInvestment は Investment の subclass では %n |
| (subclass TaxableInvestment Investment) | FinancialOntology.kif 2137-2137 | TaxableInvestment は Investment の subclass では %n |
| (termFormat ChineseLanguage Investment "投资") | domainEnglishFormat.kif 30859-30859 | |
| (termFormat ChineseTraditionalLanguage Investment "投資") | domainEnglishFormat.kif 30858-30858 | |
| (termFormat EnglishLanguage Investment "investment") | domainEnglishFormat.kif 30857-30857 |
| appearance as argument number 3 |
|
|
| (domain netAmount 1 Investment) | FinancialOntology.kif 3460-3460 | netAmount の数値 1 引数は Investment の instance では %n |
| (domain potentialLoss 2 Investment) | FinancialOntology.kif 1882-1882 | potentialLoss の数値 2 引数は Investment の instance では %n |
| (domain riskLevel 1 Investment) | FinancialOntology.kif 1844-1844 | riskLevel の数値 1 引数は Investment の instance では %n |
| (domain yield 1 Investment) | FinancialOntology.kif 2281-2281 | yield の数値 1 引数は Investment の instance では %n |
| antecedent |
|
|
| (=> (and (riskTolerance ?Agent ?Level) (instance ?Investment Investment) (possesses ?Agent ?Investment)) (riskLevel ?Investment ?Level)) |
FinancialOntology.kif 3490-3495 |
|
| (=> (instance ?Investment Investment) (exists (?Investing ?Agent) (and (agent ?Investing ?Agent) (possesses ?Agent ?Investment)))) |
FinancialOntology.kif 1771-1776 |
|
| consequent |
|
|
| (=> (attribute ?Agent Investor) (exists (?Investment) (and (instance ?Investment Investment) (possesses ?Agent ?Investment)))) |
FinancialOntology.kif 1786-1791 |
|
|
|
|