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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LiquidityAttribute
LiquidityAttribute(liquidity attribute)

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1832-1833
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1831-1831 High liquidity are all the attributes of liquidity attribute
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1830-1830 Liquidity attribute is a subclass of relational attribute

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1835-1835 High liquidity is an instance of liquidity attribute
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1840-1840 Low liquidity is an instance of liquidity attribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34643-34643
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34642-34642
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34641-34641

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1814-1814 The number 2 argument of liquidity is an instance of liquidity attribute


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners