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


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 17394-17397
s__subclass(s__DiseaseOrSyndrome,s__BiologicalAttribute)

s__instance(s__DiseaseOrSyndrome,s__SetOrClass)

s__instance(s__BiologicalAttribute,s__SetOrClass)

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

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


s__instance(s__DiseaseOrSyndrome,s__SetOrClass)

s__instance(s__Bedridden,s__DiseaseOrSyndrome)

Mid-level-ontology.kif 9875-9875 Bedridden is an instance of disease or syndrome
s__instance(s__DiseaseOrSyndrome,s__SetOrClass)

s__instance(s__Cancer,s__DiseaseOrSyndrome)

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

s__instance(s__Diarrhea,s__DiseaseOrSyndrome)

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

s__instance(s__DiseaseOrSyndrome,s__SetOrClass)

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

s__instance(s__Fever,s__DiseaseOrSyndrome)

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

s__instance(s__Gastroenteritis,s__DiseaseOrSyndrome)

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

s__instance(s__Goiter,s__DiseaseOrSyndrome)

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

s__instance(s__HivAids,s__DiseaseOrSyndrome)

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

s__instance(s__Paralysis,s__DiseaseOrSyndrome)

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

s__instance(s__Pneumonia,s__DiseaseOrSyndrome)

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

s__instance(s__RespiratoryDistress,s__DiseaseOrSyndrome)

VirusProteinAndCellPart.kif 667-667 Respiratory distress is an instance of disease or syndrome
s__range(s__ImpairedBodyPartFn__m,s__DiseaseOrSyndrome)

Merge.kif 17401-17401 The range of ImpairedBodyPartFn is an instance of disease or syndrome
s__instance(s__DiseaseOrSyndrome,s__SetOrClass)

s__instance(s__AcquiredImmunoDeficiencySyndrome,s__SetOrClass)

s__subclass(s__AcquiredImmunoDeficiencySyndrome,s__DiseaseOrSyndrome)

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

s__subclass(s__ChronicDisease,s__DiseaseOrSyndrome)

s__instance(s__ChronicDisease,s__SetOrClass)

Mid-level-ontology.kif 5548-5548 Chronic disease is a subclass of disease or syndrome
s__instance(s__DiseaseOrSyndrome,s__SetOrClass)

s__subclass(s__Disability,s__DiseaseOrSyndrome)

s__instance(s__Disability,s__SetOrClass)

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

s__subclass(s__FungalDisease,s__DiseaseOrSyndrome)

s__instance(s__FungalDisease,s__SetOrClass)

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

s__instance(s__DiseaseOrSyndrome,s__SetOrClass)

s__instance(s__InfectiousDisease,s__SetOrClass)

Mid-level-ontology.kif 5468-5468 Infectious disease is a subclass of disease or syndrome
s__instance(s__DiseaseOrSyndrome,s__SetOrClass)

s__subclass(s__LifeThreateningDisease,s__DiseaseOrSyndrome)

s__instance(s__LifeThreateningDisease,s__SetOrClass)

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

s__instance(s__DiseaseOrSyndrome,s__SetOrClass)

s__subclass(s__NonspecificDisease,s__DiseaseOrSyndrome)

Mid-level-ontology.kif 5442-5442 Nonspecific disease is a subclass of disease or syndrome
s__instance(s__DiseaseOrSyndrome,s__SetOrClass)

s__subclass(s__ParasiticDisease,s__DiseaseOrSyndrome)

s__instance(s__ParasiticDisease,s__SetOrClass)

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

s__instance(s__DiseaseOrSyndrome,s__SetOrClass)

s__subclass(s__PhysicalDisease,s__DiseaseOrSyndrome)

Mid-level-ontology.kif 5457-5457 Physical disease is a subclass of disease or syndrome
s__instance(s__DiseaseOrSyndrome,s__SetOrClass)

s__instance(s__PsychologicalDysfunction,s__SetOrClass)

s__subclass(s__PsychologicalDysfunction,s__DiseaseOrSyndrome)

Merge.kif 17501-17501 Psychological dysfunction is a subclass of disease or syndrome
s__instance(s__DiseaseOrSyndrome,s__SetOrClass)

s__instance(s__TyphoidFever,s__SetOrClass)

s__subclass(s__TyphoidFever,s__DiseaseOrSyndrome)

WMD.kif 1342-1342 Typhoid fever is a subclass of disease or syndrome
s__termFormat(s__ChineseLanguage,s__DiseaseOrSyndrome,'"疾病或综合症"')

chinese_format.kif 1261-1261
s__termFormat(s__EnglishLanguage,s__DiseaseOrSyndrome,'"disease or syndrome"')

english_format.kif 1748-1748

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 674-674 The number 2 argument of medicine is an instance of disease or syndrome
s__domain(s__pathologicSymptom__m,n__1,s__DiseaseOrSyndrome)

Merge.kif 9977-9977 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__patient(V__P,V__W))))))
)
)

Mid-level-ontology.kif 2098-2111
( ! [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 11296-11309
( ! [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 11269-11282
( ! [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 10036-10049
( ! [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 753-766

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 9962-9970
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5812-5825
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5574-5587
( ! [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 18845-18852
( ! [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 28699-28705
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