InvestmentAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(subclass InvestmentAttribute RelationalAttribute)

appearance as argument number 2

(instance Bullish InvestmentAttribute)	FinancialOntology.kif 3002-3002	Bullish is an instance of investment attribute
(instance Bearish InvestmentAttribute)	FinancialOntology.kif 3006-3006	Bearish is an instance of investment attribute
(termFormat EnglishLanguage InvestmentAttribute "investment attribute")	domainEnglishFormat.kif 30879-30879	Bearish is an instance of investment attribute
(termFormat ChineseTraditionalLanguage InvestmentAttribute "投資屬性")	domainEnglishFormat.kif 30880-30880	Bearish is an instance of investment attribute
(termFormat ChineseLanguage InvestmentAttribute "投资属性")	domainEnglishFormat.kif 30881-30881	Bearish is an instance of investment attribute

antecedent

(=>
    (instance ?Attribute InvestmentAttribute)
    (exists (?Account)
        (and
            (attribute ?Account ?Attribute)
            (instance ?Account InvestmentAccount))))

If X is an instance of investment attribute, then there exists Y such that X is an attribute of Y and Y is an instance of investment account