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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Shock

 Sigma KEE - Shock
Shock

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5785-5793
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5784-5784 例 Shock and DiseaseOrSyndrome

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5810-5810 子屬性 CardiogenicShock and Shock
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5814-5814 子屬性 DistributiveShock and Shock
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5808-5808 子屬性 LowVolumeShock and Shock
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5812-5812 子屬性 ObstructiveShock and Shock
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5794-5794

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5796-5806


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