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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Headache

 Sigma KEE - Headache
Headache

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19335-19335
No TPTP formula. May not be expressible in strict first order. pictureList.kif 494-494
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19333-19333 Headache e' uma sub-classe de PainFn Head
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19334-19334 Headache e' uma sub-classe de Processo Patologico

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3626-3626 sideEffect Adalimumab and Headache
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4284-4284 sideEffect Cetirizine and Headache
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3602-3602 sideEffect Clarithromycin and Headache
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5619-5619 sideEffect Hydroxychloroquine and Headache
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3699-3699 sideEffect Loratadine and Headache
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5091-5091 sideEffect Ondansetron and Headache
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3934-3934 sideEffect Roflumilast and Headache
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3918-3918 sideEffect Sulfasalazine and Headache
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27690-27690
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27689-27689
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27688-27688

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


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


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