| appearance as argument number 1 |
|
| (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 1879-1880 | |
| (domain yieldLevel 1 FinancialAccount) | FinancialOntology.kif 1876-1876 | The number 1 argument of yield level is an instance of financial account |
| (domain yieldLevel 2 YieldAttribute) | FinancialOntology.kif 1877-1877 | The number 2 argument of yield level is an instance of yield attribute |
| (instance yieldLevel BinaryPredicate) | FinancialOntology.kif 1878-1878 | yield level is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage yieldLevel "%1 已 yield %2 ") | domainEnglishFormat.kif 5010-5010 | |
| (format ChineseTraditionalLanguage yieldLevel "%1 已 yield %2 ") | domainEnglishFormat.kif 5009-5009 | |
| (format EnglishLanguage yieldLevel "%1 has yield %2") | domainEnglishFormat.kif 5008-5008 | |
| (termFormat ChineseLanguage yieldLevel "产量水平") | domainEnglishFormat.kif 63900-63900 | |
| (termFormat ChineseTraditionalLanguage yieldLevel "產量水平") | domainEnglishFormat.kif 63899-63899 | |
| (termFormat EnglishLanguage yieldLevel "yield level") | domainEnglishFormat.kif 63898-63898 |
| consequent |
|
|
| (=> (instance ?Bond GovernmentBond) (yieldLevel ?Bond LowYield)) |
FinancialOntology.kif 2458-2460 |
|
| (=> (instance ?Bond JunkBond) (yieldLevel ?Bond HighYield)) |
FinancialOntology.kif 2436-2438 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners