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

Formal Language: 



KB Term:  Term intersection
English Word: 

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, CVA, 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...

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 16952-16955
No TPTP formula. May not be expressible in strict first order. Merge.kif 16951-16951 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 26506-26506 Healthy is the opposite of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5516-5516 Cancer is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5422-5422 Diarrhea is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5427-5427 Emphysema is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5440-5440 Fever is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 1043-1043 Gastroenteritis is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5455-5455 Goiter is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. People.kif 478-478 Hiv aids is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 1057-1057 Paralysis is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 665-665 Respiratory distress is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 1293-1293 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 16289-16289 Disability is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5385-5385 Infectious disease is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 1011-1011 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 5367-5367 Nonspecific disease is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Merge.kif 17037-17037 Psychological dysfunction is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 1308-1308 Typhoid fever is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1261-1261
No TPTP formula. May not be expressible in strict first order. english_format.kif 1748-1748

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 757-757 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 1460-1460 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 879-879 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 865-865 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 866-866 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 923-923 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 672-672 The number 2 argument of medicine is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 1470-1470 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 2098-2111
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9542-9555
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9515-9528
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8716-8729
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 753-766

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9839-9847
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5476-5489
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5404-5416
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1914-1929


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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