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


KB Term:  Term intersection
English Word: 

  liquidity

 Sigma KEE - liquidity
liquidity

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


(domain liquidity 1 FinancialAccount) FinancialOntology.kif 1859-1859 The number 1 argument of liquidity is an instance of financial account
(domain liquidity 2 LiquidityAttribute) FinancialOntology.kif 1860-1860 The number 2 argument of liquidity is an instance of liquidity attribute
(instance liquidity BinaryPredicate) FinancialOntology.kif 1861-1861 liquidity is an instance of binary predicate
(documentation liquidity EnglishLanguage "Degree to which accounts can be easily converted to cash.") FinancialOntology.kif 1862-1862 liquidity is an instance of binary predicate

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


(format EnglishLanguage liquidity "the liqudity of %1 is %2") domainEnglishFormat.kif 3762-3762
(format ChineseTraditionalLanguage liquidity "%1 的 liqudity 是 %2 ") domainEnglishFormat.kif 3763-3763
(format ChineseLanguage liquidity "%1 的 liqudity 是 %2 ") domainEnglishFormat.kif 3764-3764
(termFormat EnglishLanguage liquidity "liquidity") domainEnglishFormat.kif 34639-34639
(termFormat ChineseTraditionalLanguage liquidity "流動性") domainEnglishFormat.kif 34640-34640
(termFormat ChineseLanguage liquidity "流动性") domainEnglishFormat.kif 34641-34641

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