Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LowYield(low yield) |
| appearance as argument number 1 |
|
| (instance LowYield YieldAttribute) | FinancialOntology.kif 1923-1923 | Low yield is an instance of yield attribute |
| (documentation LowYield EnglishLanguage "An Attribute that characterizes accounts that are not very profitable.") | FinancialOntology.kif 1924-1924 | Low yield is an instance of yield attribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute HighYield LowYield) | FinancialOntology.kif 1920-1920 | High yield is the opposite of low yield |
| (termFormat EnglishLanguage LowYield "low yield") | domainEnglishFormat.kif 35245-35245 | High yield is the opposite of low yield |
| (termFormat ChineseTraditionalLanguage LowYield "產量低") | domainEnglishFormat.kif 35246-35246 | High yield is the opposite of low yield |
| (termFormat ChineseLanguage LowYield "产量低") | domainEnglishFormat.kif 35247-35247 | High yield is the opposite of low yield |
| appearance as argument number 3 |
|
|
| (exhaustiveAttribute YieldAttribute HighYield LowYield) | FinancialOntology.kif 1915-1915 | High yield are all the attributes of yield attribute |
| consequent |
|
|
| (=> (instance ?Bond GovernmentBond) (yieldLevel ?Bond LowYield)) |
FinancialOntology.kif 2485-2487 | If X is an instance of government bond, then X has yield low yield |
|