Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - liquidity

appearance as argument number 1

(documentation liquidity EnglishLanguage "Degree to which accounts can be easily converted to cash.") FinancialOntology.kif 1754-1754
(domain liquidity 1 FinancialAccount) FinancialOntology.kif 1752-1752 liquidity 的 1 数量 是 FinancialAccountinstance
(domain liquidity 2 LiquidityAttribute) FinancialOntology.kif 1753-1753 liquidity 的 2 数量 是 LiquidityAttributeinstance
(instance liquidity AsymmetricRelation) FinancialOntology.kif 1751-1751 liquidity非对称关系instance

appearance as argument number 2

(format EnglishLanguage liquidity "the liqudity of %1 is %2") domainEnglishFormat.kif 951-951
(termFormat EnglishLanguage liquidity "liquidity") domainEnglishFormat.kif 6191-6191 termFormat EnglishLanguage, liquidity and "liquidity"


        (instance ?Withdrawal Withdrawal)
        (instance ?Account FinancialAccount)
        (origin ?Withdrawal
            (CurrencyFn ?Account))
            (exists (?Penalty)
                    (instance ?Penalty Penalty)
                    (destination ?Penalty
                        (CurrencyFn ?Account))
                    (causes ?Withdrawal ?Penalty)))))
    (liquidity ?Account HighLiquidity))
FinancialOntology.kif 1756-1766 过程Withdrawalinstance FinancialAccountFinancialAccountinstanceCurrencyFn 那个 FinancialAccount那个 过程 的源头 和 不存在 另一个 过程 这样 那个 另外 过程Penaltyinstance那个 另外 过程CurrencyFn 那个 FinancialAccount 结束 和 那个 过程 causes 那个 另外 过程 若且唯若 liquidity 那个 FinancialAccount and HighLiquidity
    (instance ?Account MoneyMarket)
    (liquidity ?Account HighLiquidity))
FinancialOntology.kif 1004-1006
    (instance ?Account TraditionalSavingsAccount)
    (liquidity ?Account HighLiquidity))
FinancialOntology.kif 1050-1052

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners