InvestmentAttribute(investment attribute) |
appearance as argument number 1 |
(subclass InvestmentAttribute RelationalAttribute) | FinancialOntology.kif 1804-1804 | Investment attribute is a subclass of relational attribute |
appearance as argument number 2 |
(instance Bearish InvestmentAttribute) | FinancialOntology.kif 2987-2987 | Bearish is an instance of investment attribute |
(instance Bullish InvestmentAttribute) | FinancialOntology.kif 2983-2983 | Bullish is an instance of investment attribute |
(termFormat ChineseLanguage InvestmentAttribute "投资属性") | domainEnglishFormat.kif 30877-30877 | |
(termFormat ChineseTraditionalLanguage InvestmentAttribute "投資屬性") | domainEnglishFormat.kif 30876-30876 | |
(termFormat EnglishLanguage InvestmentAttribute "investment attribute") | domainEnglishFormat.kif 30875-30875 |
antecedent |
(=> (instance ?Attribute InvestmentAttribute) (exists (?Account) (and (attribute ?Account ?Attribute) (instance ?Account InvestmentAccount)))) |
FinancialOntology.kif 1806-1811 |
|