| 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 1865-1866 | |
| (domain yieldLevel 1 FinancialAccount) | FinancialOntology.kif 1862-1862 | The number 1 argument of yield level is an instance of financial account |
| (domain yieldLevel 2 YieldAttribute) | FinancialOntology.kif 1863-1863 | The number 2 argument of yield level is an instance of yield attribute |
| (instance yieldLevel BinaryPredicate) | FinancialOntology.kif 1864-1864 | yield level is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage yieldLevel "%1 已 yield %2 ") | domainEnglishFormat.kif 5006-5006 | |
| (format ChineseTraditionalLanguage yieldLevel "%1 已 yield %2 ") | domainEnglishFormat.kif 5005-5005 | |
| (format EnglishLanguage yieldLevel "%1 has yield %2") | domainEnglishFormat.kif 5004-5004 | |
| (termFormat ChineseLanguage yieldLevel "产量水平") | domainEnglishFormat.kif 63925-63925 | |
| (termFormat ChineseTraditionalLanguage yieldLevel "產量水平") | domainEnglishFormat.kif 63924-63924 | |
| (termFormat EnglishLanguage yieldLevel "yield level") | domainEnglishFormat.kif 63923-63923 |
| consequent |
|
|
| (=> (instance ?Bond GovernmentBond) (yieldLevel ?Bond LowYield)) |
FinancialOntology.kif 2444-2446 |
|
| (=> (instance ?Bond JunkBond) (yieldLevel ?Bond HighYield)) |
FinancialOntology.kif 2422-2424 |
|
|
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