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 1847-1848
(domain riskLevel 1 Investment) FinancialOntology.kif 1844-1844 The number 1 argument of risk level is an instance of investment
(domain riskLevel 2 RiskAttribute) FinancialOntology.kif 1845-1845 The number 2 argument of risk level is an instance of risk attribute
(instance riskLevel BinaryPredicate) FinancialOntology.kif 1846-1846 risk level is an instance of binary predicate

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


(format ChineseLanguage riskLevel "%1 的 risk level 是 %2 ") domainEnglishFormat.kif 4434-4434
(format ChineseTraditionalLanguage riskLevel "%1 的 risk level 是 %2 ") domainEnglishFormat.kif 4433-4433
(format EnglishLanguage riskLevel "the risk level of %1 is %2") domainEnglishFormat.kif 4432-4432
(termFormat ChineseLanguage riskLevel "风险等级") domainEnglishFormat.kif 50124-50124
(termFormat ChineseTraditionalLanguage riskLevel "風險等級") domainEnglishFormat.kif 50123-50123
(termFormat EnglishLanguage riskLevel "risk level") domainEnglishFormat.kif 50122-50122

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


(=>
    (and
        (riskTolerance ?Agent ?Level)
        (instance ?Investment Investment)
        (possesses ?Agent ?Investment))
    (riskLevel ?Investment ?Level))
FinancialOntology.kif 3490-3495
(=>
    (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 2440-2442
(=>
    (instance ?Bond JunkBond)
    (riskLevel ?Bond HighRisk))
FinancialOntology.kif 2418-2420
(=>
    (instance ?Stock PennyStock)
    (riskLevel ?Stock HighRisk))
FinancialOntology.kif 2204-2206


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