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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bullish

 Sigma KEE - Bullish
Bullish(bullish)
bullish

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2984-2985
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3449-3449
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2983-2983 Bullish is an instance of investment attribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12331-12331
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12329-12329
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12330-12330
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12328-12328
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12327-12327


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 is open source software produced by Articulate Software and its partners