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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Nausea

Sigma KEE - Nausea
Nausea

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 sideEffect Nausea and Escitalopram
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21429-21429 Nausea e' uma sub-classe de Processo Organico

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 5087-5087 diseaseMedicine Ondansetron, Nausea and Ingerir
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5086-5086 diseaseMedicine Ondansetron, Nausea and Injecting
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3785-3785 sideEffect Bupropion and Nausea
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3600-3600 sideEffect Clarithromycin and Nausea
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3811-3811 sideEffect Doxycycline and Nausea
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4738-4738 sideEffect MycophenolicAcid and Nausea
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4700-4700 sideEffect Propranolol and Nausea
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3933-3933 sideEffect Roflumilast and Nausea
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3917-3917 sideEffect Sulfasalazine and Nausea
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5548-5548 sideEffect Upadacitinib and Nausea
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 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