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, 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 17585-17588
No TPTP formula. May not be expressible in strict first order. Merge.kif 17584-17584 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 10512-10512 Bed ridden is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5941-5941 Cancer is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5613-5613 COPD is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5608-5608 Diarrhea is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15800-15800 Dizzy is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5811-5811 Fever is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 1093-1093 Gastroenteritis is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5826-5826 Goiter is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9964-9964 High blood pressure is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. People.kif 482-482 Hiv aids is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5952-5952 Paralysis is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5845-5845 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 6048-6048 Sexual dysfunction is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Merge.kif 17612-17612 The range of DeadOrMissingBodyPartFn is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Merge.kif 17592-17592 The range of ImpairedBodyPartFn is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 1327-1327 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 5563-5563 Chronic disease is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19074-19074 Disability is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5531-5531 Fungal disease is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5483-5483 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 5457-5457 Nonspecific disease is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5518-5518 Parasitic disease is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5472-5472 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 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 1500-1500 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 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 10044-10044 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 1510-1510 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 12143-12156
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12116-12129
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10674-10687
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 10029-10037
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5901-5914
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5589-5602
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19755-19762
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29634-29640
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