| appearance as argument number 1 |
|
| (documentation liquidity EnglishLanguage "Degree to which accounts can be easily converted to cash.") | FinancialOntology.kif 1752-1752 | |
| (domain liquidity 1 FinancialAccount) | FinancialOntology.kif 1750-1750 | domain liquidity, 1 and FinancialAccount |
| (domain liquidity 2 LiquidityAttribute) | FinancialOntology.kif 1751-1751 | domain liquidity, 2 and LiquidityAttribute |
| (instance liquidity AsymmetricRelation) | FinancialOntology.kif 1749-1749 | instance liquidity and AsymmetricRelation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage liquidity "%1 的 liqudity 是 %2 ") | domainEnglishFormat.kif 3767-3767 | |
| (format ChineseTraditionalLanguage liquidity "%1 的 liqudity 是 %2 ") | domainEnglishFormat.kif 3766-3766 | |
| (format EnglishLanguage liquidity "the liqudity of %1 is %2") | domainEnglishFormat.kif 3765-3765 | |
| (termFormat ChineseLanguage liquidity "流动性") | domainEnglishFormat.kif 34552-34552 | |
| (termFormat ChineseTraditionalLanguage liquidity "流動性") | domainEnglishFormat.kif 34551-34551 | |
| (termFormat EnglishLanguage liquidity "liquidity") | domainEnglishFormat.kif 34550-34550 |
| consequent |
|
|
| (<=> (and (instance ?Withdrawal Withdrawal) (instance ?Account FinancialAccount) (origin ?Withdrawal (CurrencyFn ?Account)) (not (exists (?Penalty) (and (instance ?Penalty Penalty) (destination ?Penalty (CurrencyFn ?Account)) (causes ?Withdrawal ?Penalty))))) (liquidity ?Account HighLiquidity)) |
FinancialOntology.kif 1754-1764 | instance Process and Withdrawal instance FinancialAccount and FinancialAccount origin Process and CurrencyFn FinancialAccount Process instance Process and Penalty destination Process and CurrencyFn FinancialAccount causes Process and Process liquidity FinancialAccount and HighLiquidity |
| (=> (instance ?Account MoneyMarket) (liquidity ?Account HighLiquidity)) |
FinancialOntology.kif 1003-1005 | |
| (=> (instance ?Account TraditionalSavingsAccount) (liquidity ?Account HighLiquidity)) |
FinancialOntology.kif 1049-1051 |
|
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