Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| yieldLevel |
| appearance as argument number 1 |
|
| (domain yieldLevel 1 FinancialAccount) | FinancialOntology.kif 1908-1908 | The number 1 argument of yield level is an instance of financial account |
| (domain yieldLevel 2 YieldAttribute) | FinancialOntology.kif 1909-1909 | The number 2 argument of yield level is an instance of yield attribute |
| (instance yieldLevel BinaryPredicate) | FinancialOntology.kif 1910-1910 | yield level is an instance of binary predicate |
| (documentation yieldLevel EnglishLanguage "Relates a FinancialAccount to the yield level (i.e. the type of profit) which can be expected from the account.") | FinancialOntology.kif 1911-1912 | yield level is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| 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 |
| (=> (instance ?Bond GovernmentBond) (yieldLevel ?Bond LowYield)) |
FinancialOntology.kif 2485-2487 | If X is an instance of government bond, then X has yield low yield |
|