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
(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


        (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
    (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