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 |
pathologic side effect cetirizine and pain in the abdomen |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4286-4286 |
Pain in the abdomen is a side effect of taking cetirizine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4284-4284 |
Headache is a side effect of taking cetirizine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4285-4285 |
Sleepy is a side effect of taking cetirizine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4274-4274 |
Cetirizine is a subclass of antihistamine |