yieldLevel |
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 | yieldLevel の数値 1 引数は FinancialAccount の instance では %n |
(domain yieldLevel 2 YieldAttribute) | FinancialOntology.kif 1863-1863 | yieldLevel の数値 2 引数は YieldAttribute の instance では %n |
(instance yieldLevel BinaryPredicate) | FinancialOntology.kif 1864-1864 | yieldLevel は 2進述語 の instance では %n |
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 |
|