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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - liquidity
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
(domain liquidity 2 LiquidityAttribute) FinancialOntology.kif 1753-1753
(instance liquidity AsymmetricRelation) FinancialOntology.kif 1751-1751

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

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 1756-1766
(=>
    (instance ?Account MoneyMarket)
    (liquidity ?Account HighLiquidity))
FinancialOntology.kif 1004-1006
(=>
    (instance ?Account TraditionalSavingsAccount)
    (liquidity ?Account HighLiquidity))
FinancialOntology.kif 1050-1052


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners