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

Formal Language: 


KB Term:  Term intersection
English Word: 

  DiseaseOrSyndrome

Sigma KEE - DiseaseOrSyndrome
DiseaseOrSyndrome(disease or syndrome)AAA, ADA-SCID, ADD, ADHD, ALS, AMD, ARDS, Addison's_disease, Addison's_syndrome, Albers-Schonberg_disease, Aleppo_boil, Alpine_scurvy, American_leishmaniasis, Assam_fever, BSE, Banti's_disease, Banti's_syndrome, Becker_muscular_dystrophy, Bright's_disease, Broca's_aphasia, CF, CJD, Charcot-Marie-Tooth_disease, Christmas_disease, Cooley's_anaemia, Cooley's_anemia, Creutzfeldt-Jakob_disease, Cupid's_disease, Cupid's_itch, Cushing's_disease, Cushing's_syndrome, DLE, DM, Daltonism, Darier's_disease, Delhi_boil, Down's_syndrome, Down_syndrome, Duchenne's_muscular_dystrophy, Dutch_elm_disease, ED, ENL, Eaton-Lambert_syndrome, Ewing's_sarcoma, Ewing's_tumor, Ewing's_tumour, Fallot's_syndrome, Fallot's_tetralogy, Fanconi's_anaemia, Fanconi's_anemia...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4029-4031
No TPTP formula. May not be expressible in strict first order. Merge.kif 18399-18402
No TPTP formula. May not be expressible in strict first order. Merge.kif 18398-18398 Disease or syndrome is a subclass of biological attribute

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 138-138 Anaemia is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3396-3396 Asthma is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12366-12366 Bed ridden is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2466-2466 Beriberi is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6139-6139 Bone fracture is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5183-5183 Brain dead is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Medicine.kif 401-401 A hematoma is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7229-7229 Cancer is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5963-5963 Catastrophic blood loss is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1471-1471 ME/CFS is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6893-6893 COPD is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5212-5212 In a coma is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1375-1375 Diabetes mellitus is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6888-6888 Diarrhea is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17793-17793 Dizziness is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4368-4368 Atopic dermatitis is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7093-7093 A fever is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 1105-1105 Gastroenteritis is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7108-7108 A goiter is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5729-5729 Cardiovascular disease is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11794-11794 Hypertension is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. People.kif 475-475 Hiv aids is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4937-4937 Hyperferritinemia is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5329-5329 Hypersalivation is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Medicine.kif 668-668 Hyperthermia is an instance of disease or syndrome

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 762-762 The number 2 argument of biochemical agent syndrome is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1926-1926 The number 2 argument of disease candidate is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 1530-1530 The number 1 argument of disease incubation is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 932-932 The number 1 argument of disease treatment is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 885-885 The number 1 argument of disease mortality is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 870-870 The number 1 argument of disease symptom is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 871-871 The number 2 argument of disease symptom is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5830-5830 The number 1 argument of disease treatment is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10970-10970 The number 2 argument of medicine is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Merge.kif 10549-10549 The number 1 argument of pathologic symptom is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 1540-1540 The number 2 argument of side effect is an instance of disease or syndrome

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


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 32-46
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2625-2638
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14040-14053
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14013-14026
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12529-12542
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 576-589
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 520-532
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 616-629
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 684-697
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 507-518
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 802-815
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5950-5961

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3518-3530
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4201-4216
No TPTP formula. May not be expressible in strict first order. Merge.kif 10534-10542
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7189-7202
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6869-6882
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22076-22083
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32202-32208
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2046-2061


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