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


s__documentation(s__DiseaseOrSyndrome,s__ChineseLanguage,'"这是一种 BiologicalAttribute,当中它的出现 表示有某些东西正在干扰或改变 Organism 的正常的过程、状态或活动。它的特征通常是主体的一个或多个系统、部分 或 Organ 功能失常。"')

chinese_format.kif 4029-4031
s__documentation(s__DiseaseOrSyndrome,s__EnglishLanguage,'"A BiologicalAttribute which qualifies something that alters or interferes with a normal process, state or activity of an Organism. It is usually characterized by the abnormal functioning of one or more of the hosts systems, parts, or Organs."')

Merge.kif 17504-17507
s__subclass(s__DiseaseOrSyndrome,s__BiologicalAttribute)

s__instance(s__BiologicalAttribute,s__Class)

s__instance(s__DiseaseOrSyndrome,s__Class)

Merge.kif 17503-17503 Disease or syndrome is a subclass of biological attribute

appearance as argument number 2
-------------------------


s__instance(s__DiseaseOrSyndrome,s__Class)

s__instance(s__Bedridden,s__DiseaseOrSyndrome)

Mid-level-ontology.kif 10410-10410 Bed ridden is an instance of disease or syndrome
s__instance(s__Cancer,s__DiseaseOrSyndrome)

s__instance(s__DiseaseOrSyndrome,s__Class)

Mid-level-ontology.kif 5943-5943 Cancer is an instance of disease or syndrome
s__instance(s__ChronicObstructivePulmonaryDisease,s__DiseaseOrSyndrome)

s__instance(s__DiseaseOrSyndrome,s__Class)

Mid-level-ontology.kif 5615-5615 COPD is an instance of disease or syndrome
s__instance(s__Diarrhea,s__DiseaseOrSyndrome)

s__instance(s__DiseaseOrSyndrome,s__Class)

Mid-level-ontology.kif 5610-5610 Diarrhea is an instance of disease or syndrome
s__instance(s__Dizzy,s__DiseaseOrSyndrome)

s__instance(s__DiseaseOrSyndrome,s__Class)

Mid-level-ontology.kif 15682-15682 Dizzy is an instance of disease or syndrome
s__instance(s__Fever,s__DiseaseOrSyndrome)

s__instance(s__DiseaseOrSyndrome,s__Class)

Mid-level-ontology.kif 5813-5813 Fever is an instance of disease or syndrome
s__instance(s__Gastroenteritis,s__DiseaseOrSyndrome)

s__instance(s__DiseaseOrSyndrome,s__Class)

WMD.kif 1093-1093 Gastroenteritis is an instance of disease or syndrome
s__instance(s__DiseaseOrSyndrome,s__Class)

s__instance(s__Goiter,s__DiseaseOrSyndrome)

Mid-level-ontology.kif 5828-5828 Goiter is an instance of disease or syndrome
s__instance(s__DiseaseOrSyndrome,s__Class)

s__instance(s__HighBloodPressure,s__DiseaseOrSyndrome)

Mid-level-ontology.kif 9862-9862 High blood pressure is an instance of disease or syndrome
s__instance(s__HivAids,s__DiseaseOrSyndrome)

s__instance(s__DiseaseOrSyndrome,s__Class)

People.kif 482-482 Hiv aids is an instance of disease or syndrome
s__instance(s__DiseaseOrSyndrome,s__Class)

s__instance(s__Paralysis,s__DiseaseOrSyndrome)

Mid-level-ontology.kif 5954-5954 Paralysis is an instance of disease or syndrome
s__instance(s__DiseaseOrSyndrome,s__Class)

s__instance(s__Pneumonia,s__DiseaseOrSyndrome)

Mid-level-ontology.kif 5847-5847 Pneumonia is an instance of disease or syndrome
s__instance(s__RespiratoryDistress,s__DiseaseOrSyndrome)

s__instance(s__DiseaseOrSyndrome,s__Class)

VirusProteinAndCellPart.kif 736-736 Respiratory distress is an instance of disease or syndrome
s__instance(s__SexualDysfunction,s__DiseaseOrSyndrome)

s__instance(s__DiseaseOrSyndrome,s__Class)

Mid-level-ontology.kif 6050-6050 Sexual dysfunction is an instance of disease or syndrome
s__range(s__DeadOrMissingBodyPartFn__m,s__DiseaseOrSyndrome)

Merge.kif 17531-17531 The range of DeadOrMissingBodyPartFn is an instance of disease or syndrome
s__range(s__ImpairedBodyPartFn__m,s__DiseaseOrSyndrome)

Merge.kif 17511-17511 The range of ImpairedBodyPartFn is an instance of disease or syndrome
s__instance(s__AcquiredImmunoDeficiencySyndrome,s__Class)

s__instance(s__DiseaseOrSyndrome,s__Class)

s__subclass(s__AcquiredImmunoDeficiencySyndrome,s__DiseaseOrSyndrome)

WMD.kif 1327-1327 Acquired immuno deficiency syndrome is a subclass of disease or syndrome
s__subclass(s__ChronicDisease,s__DiseaseOrSyndrome)

s__instance(s__DiseaseOrSyndrome,s__Class)

s__instance(s__ChronicDisease,s__Class)

Mid-level-ontology.kif 5565-5565 Chronic disease is a subclass of disease or syndrome
s__subclass(s__Disability,s__DiseaseOrSyndrome)

s__instance(s__DiseaseOrSyndrome,s__Class)

s__instance(s__Disability,s__Class)

Mid-level-ontology.kif 18956-18956 Disability is a subclass of disease or syndrome
s__instance(s__DiseaseOrSyndrome,s__Class)

s__instance(s__FungalDisease,s__Class)

s__subclass(s__FungalDisease,s__DiseaseOrSyndrome)

Mid-level-ontology.kif 5533-5533 Fungal disease is a subclass of disease or syndrome
s__subclass(s__InfectiousDisease,s__DiseaseOrSyndrome)

s__instance(s__InfectiousDisease,s__Class)

s__instance(s__DiseaseOrSyndrome,s__Class)

Mid-level-ontology.kif 5485-5485 Infectious disease is a subclass of disease or syndrome
s__instance(s__LifeThreateningDisease,s__Class)

s__instance(s__DiseaseOrSyndrome,s__Class)

s__subclass(s__LifeThreateningDisease,s__DiseaseOrSyndrome)

WMD.kif 1011-1011 Life threatening disease is a subclass of disease or syndrome
s__instance(s__DiseaseOrSyndrome,s__Class)

s__subclass(s__NonspecificDisease,s__DiseaseOrSyndrome)

s__instance(s__NonspecificDisease,s__Class)

Mid-level-ontology.kif 5459-5459 Nonspecific disease is a subclass of disease or syndrome
s__instance(s__ParasiticDisease,s__Class)

s__instance(s__DiseaseOrSyndrome,s__Class)

s__subclass(s__ParasiticDisease,s__DiseaseOrSyndrome)

Mid-level-ontology.kif 5520-5520 Parasitic disease is a subclass of disease or syndrome
s__instance(s__PhysicalDisease,s__Class)

s__subclass(s__PhysicalDisease,s__DiseaseOrSyndrome)

s__instance(s__DiseaseOrSyndrome,s__Class)

Mid-level-ontology.kif 5474-5474 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
-------------------------


s__domain(s__biochemicalAgentSyndrome__m,n__2,s__DiseaseOrSyndrome)

WMD.kif 757-757 The number 2 argument of biochemical agent syndrome is an instance of disease or syndrome
s__domain(s__diseaseIncubation__m,n__1,s__DiseaseOrSyndrome)

WMD.kif 1500-1500 The number 1 argument of disease incubation is an instance of disease or syndrome
s__domain(s__diseaseMortality__m,n__1,s__DiseaseOrSyndrome)

WMD.kif 879-879 The number 1 argument of disease mortality is an instance of disease or syndrome
s__domain(s__diseaseSymptom__m,n__1,s__DiseaseOrSyndrome)

WMD.kif 865-865 The number 1 argument of disease symptom is an instance of disease or syndrome
s__domain(s__diseaseSymptom__m,n__2,s__DiseaseOrSyndrome)

WMD.kif 866-866 The number 2 argument of disease symptom is an instance of disease or syndrome
s__domain(s__diseaseTreatment__m,n__1,s__DiseaseOrSyndrome)

WMD.kif 923-923 The number 1 argument of disease treatment is an instance of disease or syndrome
s__domain(s__medicine__m,n__2,s__DiseaseOrSyndrome)

VirusProteinAndCellPart.kif 743-743 The number 2 argument of medicine is an instance of disease or syndrome
s__domain(s__pathologicSymptom__m,n__1,s__DiseaseOrSyndrome)

Merge.kif 10020-10020 The number 1 argument of pathologic symptom is an instance of disease or syndrome
s__domain(s__sideEffect__m,n__2,s__DiseaseOrSyndrome)

WMD.kif 1510-1510 The number 2 argument of side effect is an instance of disease or syndrome

antecedent
-------------------------


( ! [V__ANI,V__D] :
   (((s__instance(V__ANI,s__Animal) &
         s__instance(V__D,s__DiseaseOrSyndrome) &
         ~(s__attribute(V__ANI,V__D)))
     =>
     (( ? [V__P, V__W] :
         ((s__instance(V__P,s__BiologicalProcess) &
             s__instance(V__P,s__Removing) &
             s__origin(V__P,V__ANI)
           &
           s__instance(V__W,s__Sewage) &
           s__agent(V__P,V__ANI)
         &
         s__objectTransferred(V__P,V__W))))))
)
)

Mid-level-ontology.kif 2100-2113
( ! [V__D,V__H] :
   (((s__instance(V__H,s__Primate) &
         s__instance(V__D,s__DiseaseOrSyndrome) &
         ~(s__attribute(V__H,V__D)))
     =>
     (( ? [V__L1, V__L2] :
         ((s__instance(V__L1,s__Foot) &
             s__instance(V__L2,s__Foot) &
             ~((V__L1 = V__L2))
             &
             s__part(V__L1,V__H)
           &
           s__part(V__L2,V__H))))))
)
)

Mid-level-ontology.kif 12041-12054
( ! [V__D,V__H] :
   (((s__instance(V__H,s__Primate) &
         s__instance(V__D,s__DiseaseOrSyndrome) &
         ~(s__attribute(V__H,V__D)))
     =>
     (( ? [V__L1, V__L2] :
         ((s__instance(V__L1,s__Leg) &
             s__instance(V__L2,s__Leg) &
             ~((V__L1 = V__L2))
             &
             s__part(V__L1,V__H)
           &
           s__part(V__L2,V__H))))))
)
)

Mid-level-ontology.kif 12014-12027
( ! [V__D,V__H] :
   (((s__instance(V__H,s__Primate) &
         s__instance(V__D,s__DiseaseOrSyndrome) &
         ~(s__attribute(V__H,V__D)))
     =>
     (( ? [V__L1, V__L2] :
         ((s__instance(V__L1,s__Lung) &
             s__instance(V__L2,s__Lung) &
             ~((V__L1 = V__L2))
             &
             s__part(V__L1,V__H)
           &
           s__part(V__L2,V__H))))))
)
)

Mid-level-ontology.kif 10572-10585
( ! [V__D,V__V] :
   (((s__instance(V__V,s__VocalCords) &
         s__instance(V__D,s__DiseaseOrSyndrome) &
         ~(s__attribute(V__V,V__D)))
     =>
     (( ? [V__F1, V__F2] :
         ((s__instance(V__F1,s__VocalFold) &
             s__instance(V__F2,s__VocalFold) &
             ~((V__F1 = V__F2))
             &
             s__part(V__F1,V__V)
           &
           s__part(V__F2,V__V))))))
)
)

Mid-level-ontology.kif 754-767

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


( ! [V__ORG,V__PATH] :
   ((s__instance(V__ORG,s__Agent) =>
       (((s__instance(V__PATH,s__PathologicProcess) &
             s__experiencer(V__PATH,V__ORG))
         =>
         (( ? [V__PART, V__DISEASE] :
             ((s__instance(V__PART,s__Object) &
                 (s__part(V__PART,V__ORG)
                 &
                 s__instance(V__DISEASE,s__DiseaseOrSyndrome) &
                 s__attribute(V__PART,V__DISEASE)))))))))
)
)

Merge.kif 10005-10013
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5903-5916
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5591-5604
( ! [V__W,V__PERSON] :
   ((s__instance(V__PERSON,s__Agent) =>
       (((s__instance(V__W,s__SickLeave) &
             s__agent(V__W,V__PERSON))
         =>
         (( ? [V__S] :
             ((s__instance(V__S,s__DiseaseOrSyndrome) &
                 s__refers(V__W,V__S))))))))
)
)

Mid-level-ontology.kif 19637-19644
( ! [V__X] :
   ((s__instance(V__X,s__Object) =>
       ((s__attribute(V__X,s__Healthy) =>
           (~(( ? [V__Y] :
                 ((s__instance(V__Y,s__DiseaseOrSyndrome) &
                     s__attribute(V__X,V__Y)))))))))
   )
)

Mid-level-ontology.kif 29516-29522
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1914-1929


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