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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HighLiquidity

Sigma KEE - HighLiquidity
HighLiquidity

appearance as argument number 1
-------------------------


(contraryAttribute HighLiquidity LowLiquidity) FinancialOntology.kif 1774-1774
(documentation HighLiquidity EnglishLanguage "An Attribute of FinancialAccounts which can be easily converted to cash.") FinancialOntology.kif 1775-1776
(instance HighLiquidity LiquidityAttribute) FinancialOntology.kif 1773-1773

appearance as argument number 2
-------------------------


(exhaustiveAttribute LiquidityAttribute HighLiquidity LowLiquidity) FinancialOntology.kif 1769-1769
(termFormat EnglishLanguage HighLiquidity "high liquidity") domainEnglishFormat.kif 5105-5105

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