Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Inhaling
|
|
|
| appearance as argument number 1 |
|
|
| (instance LowRisk RiskAttribute) | FinancialOntology.kif 1906-1906 | Low risk is an instance of risk attribute |
| (externalImage LowRisk "http://upload.wikimedia.org/wikipedia/commons/0/ 04/ Soil_erosion_risk.png") | pictureList.kif 11381-11381 | Low risk is an instance of risk attribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute HighRisk LowRisk) | FinancialOntology.kif 1902-1902 | High risk is the opposite of low risk |
| (termFormat EnglishLanguage LowRisk "low risk") | domainEnglishFormat.kif 35209-35209 | High risk is the opposite of low risk |
| (termFormat ChineseTraditionalLanguage LowRisk "低風險") | domainEnglishFormat.kif 35210-35210 | High risk is the opposite of low risk |
| (termFormat ChineseLanguage LowRisk "低风险") | domainEnglishFormat.kif 35211-35211 | High risk is the opposite of low risk |
| appearance as argument number 3 |
|
|
| (exhaustiveAttribute RiskAttribute HighRisk LowRisk) | FinancialOntology.kif 1897-1897 | High risk are all the attributes of risk attribute |
| consequent |
|
|
| (=> (instance ?Account MoneyMarket) (riskLevel ?Account LowRisk)) |
FinancialOntology.kif 1088-1090 | If X is an instance of money market, then the risk level of X is low risk |
| (=> (instance ?Account TreasuryBill) (riskLevel ?Account LowRisk)) |
FinancialOntology.kif 1096-1098 | If X is an instance of treasury bill, then the risk level of X is low risk |
| (=> (instance ?Bond GovernmentBond) (riskLevel ?Bond LowRisk)) |
FinancialOntology.kif 2481-2483 | If X is an instance of government bond, then the risk level of X is low risk |
|
