Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| HighYield(high yield) |
| appearance as argument number 1 |
|
| (instance HighYield YieldAttribute) | FinancialOntology.kif 1919-1919 | High yield is an instance of yield attribute |
| (contraryAttribute HighYield LowYield) | FinancialOntology.kif 1920-1920 | High yield is the opposite of low yield |
| (documentation HighYield EnglishLanguage "An Attribute that characterizes accounts that are very profitable.") | FinancialOntology.kif 1921-1921 | High yield is the opposite of low yield |
| appearance as argument number 2 |
|
|
| (exhaustiveAttribute YieldAttribute HighYield LowYield) | FinancialOntology.kif 1915-1915 | High yield are all the attributes of yield attribute |
| (termFormat EnglishLanguage HighYield "high yield") | domainEnglishFormat.kif 28187-28187 | High yield are all the attributes of yield attribute |
| (termFormat ChineseTraditionalLanguage HighYield "高產") | domainEnglishFormat.kif 28188-28188 | High yield are all the attributes of yield attribute |
| (termFormat ChineseLanguage HighYield "高产") | domainEnglishFormat.kif 28189-28189 | High yield are all the attributes of yield attribute |
| consequent |
|
|
| (=> (instance ?Bond JunkBond) (yieldLevel ?Bond HighYield)) |
FinancialOntology.kif 2463-2465 | If X is an instance of junk bond, then X has yield high yield |
|