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 17946-17949
No TPTP formula. May not be expressible in strict first order. Merge.kif 17945-17945 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. Mid-level-ontology.kif 10591-10591 Bed ridden is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5999-5999 Cancer is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5663-5663 COPD is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5658-5658 Diarrhea is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15902-15902 Dizzy is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5863-5863 Fever is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 1099-1099 Gastroenteritis is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5878-5878 Goiter is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10040-10040 High blood pressure is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. People.kif 501-501 Hiv aids is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6010-6010 Paralysis is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5897-5897 Pneumonia is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 736-736 Respiratory distress is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6111-6111 Sexual dysfunction is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Merge.kif 17973-17973 The range of DeadOrMissingBodyPartFn is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Merge.kif 17953-17953 The range of ImpairedBodyPartFn is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 1333-1333 Acquired immuno deficiency syndrome is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5613-5613 Chronic disease is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19186-19186 Disability is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5581-5581 Fungal disease is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5533-5533 Infectious disease is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 1017-1017 Life threatening disease is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5507-5507 Nonspecific disease is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5568-5568 Parasitic disease is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5522-5522 Physical disease is a subclass 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. WMD.kif 1521-1521 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 884-884 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. WMD.kif 928-928 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. VirusProteinAndCellPart.kif 743-743 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 10327-10327 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 1531-1531 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. Mid-level-ontology.kif 2125-2138
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12229-12242
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12202-12215
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10753-10766
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 776-789

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10312-10320
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5959-5972
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5639-5652
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19867-19874
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29788-29794
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1906-1921


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