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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cetirizine
Cetirizine

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3706-3712
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4276-4282
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3714-3714 pathologicSideEffect Cetirizine and PainFn Abdomen
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4286-4286 PainFn Abdomen 是服用 Cetirizineside effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4284-4284 頭痛 是服用 Cetirizineside effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4285-4285 Sleepy 是服用 Cetirizineside effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4274-4274 子類 Cetirizine and Antihistamine

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4288-4288 子類 Zyrtec and Cetirizine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4283-4283


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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