Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MoneyMarket(money market) |
| appearance as argument number 1 |
|
| (subclass MoneyMarket SavingsAccount) | FinancialOntology.kif 1079-1079 | Money market is a subclass of savings account |
| (documentation MoneyMarket EnglishLanguage "MoneyMarket is for borrowing and lending money for three years or less. The securities in a money market can be U.S. government bonds, TreasuryBills and commercial paper from banks and companies.") | FinancialOntology.kif 1080-1082 | Money market is a subclass of savings account |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?Account MoneyMarket) (liquidity ?Account HighLiquidity)) |
FinancialOntology.kif 1084-1086 | If X is an instance of money market, then the liqudity of X is high liquidity |
| (=> (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 |
|