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 1864-1865
(domain riskLevel 1 Investment) FinancialOntology.kif 1861-1861 The number 1 argument of risk level is an instance of investment
(domain riskLevel 2 RiskAttribute) FinancialOntology.kif 1862-1862 The number 2 argument of risk level is an instance of risk attribute
(instance riskLevel BinaryPredicate) FinancialOntology.kif 1863-1863 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 3508-3513
(=>
    (instance ?Account MoneyMarket)
    (riskLevel ?Account LowRisk))
FinancialOntology.kif 1065-1067
(=>
    (instance ?Account TreasuryBill)
    (riskLevel ?Account LowRisk))
FinancialOntology.kif 1073-1075
(=>
    (instance ?Bond GovernmentBond)
    (riskLevel ?Bond LowRisk))
FinancialOntology.kif 2457-2459
(=>
    (instance ?Bond JunkBond)
    (riskLevel ?Bond HighRisk))
FinancialOntology.kif 2435-2437
(=>
    (instance ?Stock PennyStock)
    (riskLevel ?Stock HighRisk))
FinancialOntology.kif 2221-2223


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