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

Formal Language: 



KB Term:  Term intersection
English Word: 

  pathologicSideEffect

 Sigma KEE - pathologicSideEffect
pathologicSideEffect

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1559-1561
No TPTP formula. May not be expressible in strict first order. WMD.kif 1557-1557 The number 1 argument of pathologic side effect is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 1558-1558 The number 2 argument of pathologic side effect is a subclass of pathologic process
No TPTP formula. May not be expressible in strict first order. WMD.kif 1556-1556 pathologic side effect is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65895-65895

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1563-1575

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3714-3714 pathologic side effect cetirizine and pain in the abdomen


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