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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - riskLevel
riskLevel

appearance as argument number 1
-------------------------


(documentation riskLevel EnglishLanguage "Relates an instance of Investing to the level of risk associated with the investment.") FinancialOntology.kif 1861-1862
(domain riskLevel 1 Investment) FinancialOntology.kif 1858-1858 The number 1 argument of risk level is an instance of investment
(domain riskLevel 2 RiskAttribute) FinancialOntology.kif 1859-1859 The number 2 argument of risk level is an instance of risk attribute
(instance riskLevel BinaryPredicate) FinancialOntology.kif 1860-1860 risk level is an instance of binary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage riskLevel "%1 的 risk level 是 %2 ") domainEnglishFormat.kif 4438-4438
(format ChineseTraditionalLanguage riskLevel "%1 的 risk level 是 %2 ") domainEnglishFormat.kif 4437-4437
(format EnglishLanguage riskLevel "the risk level of %1 is %2") domainEnglishFormat.kif 4436-4436
(termFormat ChineseLanguage riskLevel "风险等级") domainEnglishFormat.kif 50117-50117
(termFormat ChineseTraditionalLanguage riskLevel "風險等級") domainEnglishFormat.kif 50116-50116
(termFormat EnglishLanguage riskLevel "risk level") domainEnglishFormat.kif 50115-50115

consequent
-------------------------


(=>
    (and
        (riskTolerance ?Agent ?Level)
        (instance ?Investment Investment)
        (possesses ?Agent ?Investment))
    (riskLevel ?Investment ?Level))
FinancialOntology.kif 3504-3509
(=>
    (instance ?Account MoneyMarket)
    (riskLevel ?Account LowRisk))
FinancialOntology.kif 1063-1065
(=>
    (instance ?Account TreasuryBill)
    (riskLevel ?Account LowRisk))
FinancialOntology.kif 1071-1073
(=>
    (instance ?Bond GovernmentBond)
    (riskLevel ?Bond LowRisk))
FinancialOntology.kif 2454-2456
(=>
    (instance ?Bond JunkBond)
    (riskLevel ?Bond HighRisk))
FinancialOntology.kif 2432-2434
(=>
    (instance ?Stock PennyStock)
    (riskLevel ?Stock HighRisk))
FinancialOntology.kif 2218-2220


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