Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - yieldLevel
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 产量水平 的 1 数量 是 金融账户instance
(domain yieldLevel 2 YieldAttribute) FinancialOntology.kif 1863-1863 产量水平 的 2 数量 是 屈服属性instance
(instance yieldLevel BinaryPredicate) FinancialOntology.kif 1864-1864 产量水平二元谓语instance

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