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

VerbNet: other_cos-45.4|blur, marvel-31.3|chafe, suffocate-40.7|choke, change_bodily_state-40.8.4|sicken, entity_specific_cos-45.5|deteriorate, entity_specific_cos-45.5|deteriorate, entity_specific_cos-45.5|deteriorate, exist-47.1|languish, entity_specific_cos-45.5|suppurate, other_cos-45.4|blur, marvel-31.3|chafe, suffocate-40.7|choke, marvel-31.3|chafe, other_cos-45.4|blur, exist-47.1|languish, entity_specific_cos-45.5|suppurate, other_cos-45.4|sicken, exist-47.1|languish, other_cos-45.4|sicken, entity_specific_cos-45.5|suppurate, fill-9.8|taint, other_cos-45.4|sicken, exist-47.1|languish,


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 16900-16903
No TPTP formula. May not be expressible in strict first order. Merge.kif 16899-16899 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 28463-28463 Healthy is the opposite of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6116-6116 Cancer is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6023-6023 Diarrhea is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6028-6028 Emphysema is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6041-6041 Fever is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 1010-1010 Gastroenteritis is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6056-6056 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 1024-1024 Paralysis is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 1260-1260 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 17555-17555 Disability is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5986-5986 Infectious disease is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 978-978 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 5968-5968 Nonspecific disease is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Merge.kif 16985-16985 Psychological dysfunction is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 1275-1275 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 1427-1427 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 846-846 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 832-832 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 833-833 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 890-890 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 1437-1437 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 2622-2635
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10388-10401
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10361-10374
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9571-9584
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1198-1211

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9804-9812
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6077-6089
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6005-6017
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1896-1911


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