| 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 | Le nombre 1 argument de yieldLevel est une instance de FinancialAccount |
| (domain yieldLevel 2 YieldAttribute) | FinancialOntology.kif 1863-1863 | Le nombre 2 argument de yieldLevel est une instance de YieldAttribute |
| (instance yieldLevel BinaryPredicate) | FinancialOntology.kif 1864-1864 | yieldLevel est une instance de pr�dicat binaire |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage yieldLevel "%1 已 yield %2 ") | domainEnglishFormat.kif 5002-5002 | |
| (format ChineseTraditionalLanguage yieldLevel "%1 已 yield %2 ") | domainEnglishFormat.kif 5001-5001 | |
| (format EnglishLanguage yieldLevel "%1 has yield %2") | domainEnglishFormat.kif 5000-5000 | |
| (termFormat ChineseLanguage yieldLevel "产量水平") | domainEnglishFormat.kif 63877-63877 | |
| (termFormat ChineseTraditionalLanguage yieldLevel "產量水平") | domainEnglishFormat.kif 63876-63876 | |
| (termFormat EnglishLanguage yieldLevel "yield level") | domainEnglishFormat.kif 63875-63875 |
| 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