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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FusionCuisine

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