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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Nausea
Nausea(nausea)kinetosis, morning_sickness, motion_sickness, nausea, nauseate, nauseated, nauseous, qualm, queasiness, queasy, sick, sicken, sickish, sickness, squeamishness, turn_one's_stomach

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21431-21431
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4052-4052 Escitalopram is a side effect of taking nausea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21429-21429 Nausea is a subclass of organism process

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5087-5087 Ondansetron is disease treatment nausea for ingesting
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5086-5086 Ondansetron is disease treatment nausea for injecting
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3785-3785 Nausea is a side effect of taking bupropion
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3600-3600 Nausea is a side effect of taking clarithromycin
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3811-3811 Nausea is a side effect of taking doxycycline
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4738-4738 Nausea is a side effect of taking mycophenolic acid
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4700-4700 Nausea is a side effect of taking propranolol
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3933-3933 Nausea is a side effect of taking roflumilast
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3917-3917 Nausea is a side effect of taking sulfasalazine
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5548-5548 Nausea is a side effect of taking upadacitinib
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21430-21430

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21432-21443

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5326-5340


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