| Investing(investing) | | commit, foreign_direct_investment, fund, invest, investing, investment, place, put, roll_over, shelter, tie_up |
| appearance as argument number 1 |
|
|
| (subclass Investing FinancialTransaction) | FinancialOntology.kif 485-485 | Investing is a subclass of financial transaction |
| (documentation Investing EnglishLanguage "An activity of commiting money or capital in order to gain a financial return.") | FinancialOntology.kif 486-487 | Investing is a subclass of financial transaction |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?Investing Investing) (hasPurpose ?Investing (exists (?Profit) (profit ?Investing ?Profit)))) |
FinancialOntology.kif 503-507 | If X is an instance of investing, then X has the purpose there exists Y such that the profit from X is Y |
|
|
|