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 O argumento numero 1 de pathologicSideEffect e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order. WMD.kif 1558-1558 O argumento numero 2 de pathologicSideEffect e' uma sub-classe de Processo Patologico
No TPTP formula. May not be expressible in strict first order. WMD.kif 1556-1556 pathologicSideEffect e' uma instancia de Predicado Binario

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 pathologicSideEffect Cetirizine and PainFn 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