Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  HighLiquidity

 Sigma KEE - HighLiquidity
HighLiquidity(high liquidity)

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


(instance HighLiquidity LiquidityAttribute) FinancialOntology.kif 1881-1881 High liquidity is an instance of liquidity attribute
(contraryAttribute HighLiquidity LowLiquidity) FinancialOntology.kif 1882-1882 High liquidity is the opposite of low liquidity
(documentation HighLiquidity EnglishLanguage "An Attribute of FinancialAccounts which can be easily converted to cash.") FinancialOntology.kif 1883-1884 High liquidity is the opposite of low liquidity

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


(exhaustiveAttribute LiquidityAttribute HighLiquidity LowLiquidity) FinancialOntology.kif 1877-1877 High liquidity are all the attributes of liquidity attribute
(termFormat EnglishLanguage HighLiquidity "high liquidity") domainEnglishFormat.kif 28127-28127 High liquidity are all the attributes of liquidity attribute
(termFormat ChineseTraditionalLanguage HighLiquidity "高流動性") domainEnglishFormat.kif 28128-28128 High liquidity are all the attributes of liquidity attribute
(termFormat ChineseLanguage HighLiquidity "高流动性") domainEnglishFormat.kif 28129-28129 High liquidity are all the attributes of liquidity attribute

consequent
-------------------------


(=>
    (instance ?Account MoneyMarket)
    (liquidity ?Account HighLiquidity))		 FinancialOntology.kif 1084-1086 If X is an instance of money market, then the liqudity of X is high liquidity
(=>
    (instance ?Account TraditionalSavingsAccount)
    (liquidity ?Account HighLiquidity))		 FinancialOntology.kif 1130-1132 If X is an instance of traditional savings account, then the liqudity of X is high liquidity
(<=>
    (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 1864-1874 All of the following hold: (1) X is an instance of withdrawing from an account (2) Y is an instance of financial account (3) X originates at the currency of Y (4) there doesn't exist Z such that Z is an instance of penalizing (5) Z ends up at the currency of Y (6) X causes Z if (7) only if the liqudity of Y is high liquidity


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners