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 头痛 是 PainFn 头 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19334-19334 头痛 是 病理过程 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3626-3626 头痛 是服用 Adalimumab 的 side effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4284-4284 头痛 是服用 Cetirizine 的 side effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3602-3602 头痛 是服用 Clarithromycin 的 side effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5619-5619 头痛 是服用 Hydroxychloroquine 的 side effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3699-3699 头痛 是服用 Loratadine 的 side effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5091-5091 头痛 是服用 Ondansetron 的 side effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3934-3934 头痛 是服用 Roflumilast 的 side effect
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3918-3918 头痛 是服用 Sulfasalazine 的 side effect
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