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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 18504-18506
No TPTP formula. May not be expressible in strict first order. Merge.kif 18500-18503
No TPTP formula. May not be expressible in strict first order. Merge.kif 18499-18499 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 27989-27989 Healthy is the opposite of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6106-6106 Cancer is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6013-6013 Diarrhea is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6018-6018 Emphysema is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6031-6031 Fever is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 1001-1001 Gastroenteritis is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6046-6046 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 1015-1015 Paralysis is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 1243-1243 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 17169-17169 Disability is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5976-5976 Infectious disease is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 969-969 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 5958-5958 Nonspecific disease is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. Merge.kif 18606-18606 Psychological dysfunction is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order. WMD.kif 1258-1258 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 "疾病或综合症" is the printable form of disease or syndrome in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 948-948 "disease or syndrome" is the printable form of disease or syndrome in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 939-939 "maladie ou syndrome" is the printable form of disease or syndrome in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 475-475 "roga yaa lakshaNa" is the printable form of disease or syndrome in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 476-476 "MalattiaOSindrome" is the printable form of disease or syndrome in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 891-891 "Doenca ou Sindrome" is the printable form of disease or syndrome in portuguese language
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 480-480 "balatian" is the printable form of disease or syndrome in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 514-514 "disease or syndrome" is the printable form of disease or syndrome in cz

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 756-756 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 1410-1410 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 839-839 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 825-825 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 826-826 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 881-881 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 1420-1420 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 2621-2634

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10318-10326
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6067-6079
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5995-6007
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1843-1858


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners