TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Investing FinancialTransaction)	FinancialOntology.kif 504-504	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 505-506	Investing is a subclass of financial transaction

appearance as argument number 2

(termFormat EnglishLanguage Investing "investing")	domainEnglishFormat.kif 30855-30855
(termFormat ChineseTraditionalLanguage Investing "投資")	domainEnglishFormat.kif 30856-30856
(termFormat ChineseLanguage Investing "投资")	domainEnglishFormat.kif 30857-30857

antecedent

(=>
    (instance ?Investing Investing)
    (hasPurpose ?Investing
        (exists (?Profit)
            (profit ?Investing ?Profit))))

If X is an instance of investing, then X has the purpose there exists Y such that the profit from X is Y