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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bearish

 Sigma KEE - Bearish
Bearish(bearish)
bearish

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2988-2989
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3417-3417
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2987-2987 Bearish is an instance of investment attribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10286-10286
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10284-10284
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10285-10285
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10283-10283
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10282-10282


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