liquidity |
appearance as argument number 1 |
(documentation liquidity EnglishLanguage "Degree to which accounts can be easily converted to cash.") | FinancialOntology.kif 1816-1816 | |
(domain liquidity 1 FinancialAccount) | FinancialOntology.kif 1813-1813 | liquidity の数値 1 引数は FinancialAccount の instance では %n |
(domain liquidity 2 LiquidityAttribute) | FinancialOntology.kif 1814-1814 | liquidity の数値 2 引数は LiquidityAttribute の instance では %n |
(instance liquidity BinaryPredicate) | FinancialOntology.kif 1815-1815 | liquidity は 2進述語 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage liquidity "%1 的 liqudity 是 %2 ") | domainEnglishFormat.kif 3766-3766 | |
(format ChineseTraditionalLanguage liquidity "%1 的 liqudity 是 %2 ") | domainEnglishFormat.kif 3765-3765 | |
(format EnglishLanguage liquidity "the liqudity of %1 is %2") | domainEnglishFormat.kif 3764-3764 | |
(termFormat ChineseLanguage liquidity "流动性") | domainEnglishFormat.kif 34637-34637 | |
(termFormat ChineseTraditionalLanguage liquidity "流動性") | domainEnglishFormat.kif 34636-34636 | |
(termFormat EnglishLanguage liquidity "liquidity") | domainEnglishFormat.kif 34635-34635 |
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 1818-1828 | 工程 は Withdrawal の instance では %n FinancialAccount は FinancialAccount の instance では %n 工程 は CurrencyFn FinancialAccount から originates %n{ない} 工程 工程 は Penalty の instance では %n 工程 は CurrencyFn FinancialAccount に ends %n{ない} 工程 は 工程 を causes %n{ない} liquidity FinancialAccount and HighLiquidity |
(=> (instance ?Account MoneyMarket) (liquidity ?Account HighLiquidity)) |
FinancialOntology.kif 1059-1061 |
|
(=> (instance ?Account TraditionalSavingsAccount) (liquidity ?Account HighLiquidity)) |
FinancialOntology.kif 1105-1107 |