HighLiquidity |
appearance as argument number 1 |
(contraryAttribute HighLiquidity LowLiquidity) | FinancialOntology.kif 1836-1836 | HighLiquidity e' &o oposto de LowLiquidity |
(documentation HighLiquidity EnglishLanguage "An Attribute of FinancialAccounts which can be easily converted to cash.") | FinancialOntology.kif 1837-1838 | |
(instance HighLiquidity LiquidityAttribute) | FinancialOntology.kif 1835-1835 | HighLiquidity e' uma instancia de LiquidityAttribute |
appearance as argument number 2 |
(exhaustiveAttribute LiquidityAttribute HighLiquidity LowLiquidity) | FinancialOntology.kif 1831-1831 | exhaustiveAttribute LiquidityAttribute, HighLiquidity and LowLiquidity |
(termFormat ChineseLanguage HighLiquidity "高流动性") | domainEnglishFormat.kif 28125-28125 | |
(termFormat ChineseTraditionalLanguage HighLiquidity "高流動性") | domainEnglishFormat.kif 28124-28124 | |
(termFormat EnglishLanguage HighLiquidity "high liquidity") | domainEnglishFormat.kif 28123-28123 |
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 | Processo e' uma instancia de Withdrawal FinancialAccount e' uma instancia de FinancialAccount Processo tem como origem CurrencyFn FinancialAccount Processo Processo e' uma instancia de Penalty Processo termina em CurrencyFn FinancialAccount Processo causa Processo liquidity FinancialAccount and HighLiquidity |
(=> (instance ?Account MoneyMarket) (liquidity ?Account HighLiquidity)) |
FinancialOntology.kif 1059-1061 |
|
(=> (instance ?Account TraditionalSavingsAccount) (liquidity ?Account HighLiquidity)) |
FinancialOntology.kif 1105-1107 |