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

Formal Language: 



KB Term:  Term intersection
English Word: 

  yieldLevel

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 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 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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