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


(documentation DiseaseOrSyndrome ChineseLanguage "这是一种 BiologicalAttribute,当中它的出现 表示有某些东西正在干扰或改变 Organism 的正常的过程、状态或活动。它的特征通常是主体的一个或多个系统、部分 或 Organ 功能失常。") chinese_format.kif 4029-4031
(documentation DiseaseOrSyndrome 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 host's systems, parts, or Organs.") Merge.kif 18053-18056
(subclass DiseaseOrSyndrome BiologicalAttribute) Merge.kif 18052-18052 Disease or syndrome is a subclass of biological attribute

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


(instance Bedridden DiseaseOrSyndrome) Mid-level-ontology.kif 10901-10901 Bed ridden is an instance of disease or syndrome
(instance Cancer DiseaseOrSyndrome) Mid-level-ontology.kif 6252-6252 Cancer is an instance of disease or syndrome
(instance ChronicObstructivePulmonaryDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5916-5916 COPD is an instance of disease or syndrome
(instance Diarrhea DiseaseOrSyndrome) Mid-level-ontology.kif 5911-5911 Diarrhea is an instance of disease or syndrome
(instance Dizzy DiseaseOrSyndrome) Mid-level-ontology.kif 16248-16248 Dizzy is an instance of disease or syndrome
(instance Fever DiseaseOrSyndrome) Mid-level-ontology.kif 6116-6116 Fever is an instance of disease or syndrome
(instance Gastroenteritis DiseaseOrSyndrome) WMD.kif 1105-1105 Gastroenteritis is an instance of disease or syndrome
(instance Goiter DiseaseOrSyndrome) Mid-level-ontology.kif 6131-6131 Goiter is an instance of disease or syndrome
(instance HighBloodPressure DiseaseOrSyndrome) Mid-level-ontology.kif 10350-10350 High blood pressure is an instance of disease or syndrome
(instance HivAids DiseaseOrSyndrome) People.kif 501-501 Hiv aids is an instance of disease or syndrome
(instance Paralysis DiseaseOrSyndrome) Mid-level-ontology.kif 6263-6263 Paralysis is an instance of disease or syndrome
(instance Pneumonia DiseaseOrSyndrome) Mid-level-ontology.kif 6150-6150 Pneumonia is an instance of disease or syndrome
(instance RespiratoryDistress DiseaseOrSyndrome) VirusProteinAndCellPart.kif 736-736 Respiratory distress is an instance of disease or syndrome
(instance SexualDysfunction DiseaseOrSyndrome) Mid-level-ontology.kif 6364-6364 Sexual dysfunction is an instance of disease or syndrome
(range DeadOrMissingBodyPartFn DiseaseOrSyndrome) Merge.kif 18080-18080 The range of dead or missing body part fn is an instance of disease or syndrome
(range ImpairedBodyPartFn DiseaseOrSyndrome) Merge.kif 18060-18060 The range of impaired body part fn is an instance of disease or syndrome
(subclass AcquiredImmunoDeficiencySyndrome DiseaseOrSyndrome) WMD.kif 1342-1342 Acquired immuno deficiency syndrome is a subclass of disease or syndrome
(subclass ChronicDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5866-5866 Chronic disease is a subclass of disease or syndrome
(subclass Disability DiseaseOrSyndrome) Mid-level-ontology.kif 19532-19532 Disability is a subclass of disease or syndrome
(subclass FungalDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5834-5834 Fungal disease is a subclass of disease or syndrome
(subclass InfectiousDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5786-5786 Infectious disease is a subclass of disease or syndrome
(subclass LifeThreateningDisease DiseaseOrSyndrome) WMD.kif 1025-1025 Life threatening disease is a subclass of disease or syndrome
(subclass NonspecificDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5760-5760 Nonspecific disease is a subclass of disease or syndrome
(subclass ParasiticDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5821-5821 Parasitic disease is a subclass of disease or syndrome
(subclass PhysicalDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5775-5775 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
-------------------------


(domain biochemicalAgentSyndrome 2 DiseaseOrSyndrome) WMD.kif 762-762 The number 2 argument of biochemical agent syndrome is an instance of disease or syndrome
(domain diseaseIncubation 1 DiseaseOrSyndrome) WMD.kif 1530-1530 The number 1 argument of disease incubation is an instance of disease or syndrome
(domain diseaseMortality 1 DiseaseOrSyndrome) WMD.kif 885-885 The number 1 argument of disease mortality is an instance of disease or syndrome
(domain diseaseSymptom 1 DiseaseOrSyndrome) WMD.kif 870-870 The number 1 argument of disease symptom is an instance of disease or syndrome
(domain diseaseSymptom 2 DiseaseOrSyndrome) WMD.kif 871-871 The number 2 argument of disease symptom is an instance of disease or syndrome
(domain diseaseTreatment 1 DiseaseOrSyndrome) WMD.kif 932-932 The number 1 argument of disease treatment is an instance of disease or syndrome
(domain medicine 2 DiseaseOrSyndrome) VirusProteinAndCellPart.kif 743-743 The number 2 argument of medicine is an instance of disease or syndrome
(domain pathologicSymptom 1 DiseaseOrSyndrome) Merge.kif 10364-10364 The number 1 argument of pathologic symptom is an instance of disease or syndrome
(domain sideEffect 2 DiseaseOrSyndrome) WMD.kif 1540-1540 The number 2 argument of side effect is an instance of disease or syndrome

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


(=>
    (and
        (instance ?ANI Animal)
        (instance ?D DiseaseOrSyndrome)
        (not
            (attribute ?ANI ?D)))
    (exists (?P ?W)
        (and
            (instance ?P BiologicalProcess)
            (instance ?P Removing)
            (origin ?P ?ANI)
            (instance ?W Sewage)
            (agent ?P ?ANI)
            (objectTransferred ?P ?W))))
Mid-level-ontology.kif 2127-2140
(=>
    (and
        (instance ?H Primate)
        (instance ?D DiseaseOrSyndrome)
        (not
            (attribute ?H ?D)))
    (exists (?L1 ?L2)
        (and
            (instance ?L1 Foot)
            (instance ?L2 Foot)
            (not
                (equal ?L1 ?L2))
            (part ?L1 ?H)
            (part ?L2 ?H))))
Mid-level-ontology.kif 12556-12569
(=>
    (and
        (instance ?H Primate)
        (instance ?D DiseaseOrSyndrome)
        (not
            (attribute ?H ?D)))
    (exists (?L1 ?L2)
        (and
            (instance ?L1 Leg)
            (instance ?L2 Leg)
            (not
                (equal ?L1 ?L2))
            (part ?L1 ?H)
            (part ?L2 ?H))))
Mid-level-ontology.kif 12529-12542
(=>
    (and
        (instance ?H Primate)
        (instance ?D DiseaseOrSyndrome)
        (not
            (attribute ?H ?D)))
    (exists (?L1 ?L2)
        (and
            (instance ?L1 Lung)
            (instance ?L2 Lung)
            (not
                (equal ?L1 ?L2))
            (part ?L1 ?H)
            (part ?L2 ?H))))
Mid-level-ontology.kif 11063-11076
(=>
    (and
        (instance ?V VocalCords)
        (instance ?D DiseaseOrSyndrome)
        (not
            (attribute ?V ?D)))
    (exists (?F1 ?F2)
        (and
            (instance ?F1 VocalFold)
            (instance ?F2 VocalFold)
            (not
                (equal ?F1 ?F2))
            (part ?F1 ?V)
            (part ?F2 ?V))))
Mid-level-ontology.kif 776-789

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


(=>
    (and
        (instance ?PATH PathologicProcess)
        (experiencer ?PATH ?ORG))
    (exists (?PART ?DISEASE)
        (and
            (part ?PART ?ORG)
            (instance ?DISEASE DiseaseOrSyndrome)
            (attribute ?PART ?DISEASE))))
Merge.kif 10349-10357
(=>
    (and
        (instance ?R RecoveringFromIllness)
        (experiencer ?R ?A))
    (exists (?D)
        (and
            (instance ?D DiseaseOrSyndrome)
            (holdsDuring
                (BeginFn
                    (WhenFn ?D))
                (attribute ?A ?D))
            (holdsDuring
                (EndFn
                    (WhenFn ?D))
                (not
                    (attribute ?A ?D))))))
Mid-level-ontology.kif 6212-6225
(=>
    (and
        (instance ?T TakingIll)
        (experiencer ?T ?A))
    (exists (?D)
        (and
            (instance ?D DiseaseOrSyndrome)
            (holdsDuring
                (BeginFn
                    (WhenFn ?T))
                (not
                    (attribute ?A ?D)))
            (holdsDuring
                (EndFn
                    (WhenFn ?T))
                (attribute ?A ?D)))))
Mid-level-ontology.kif 5892-5905
(=>
    (and
        (instance ?W SickLeave)
        (agent ?W ?PERSON))
    (exists (?S)
        (and
            (instance ?S DiseaseOrSyndrome)
            (refers ?W ?S))))
Mid-level-ontology.kif 20240-20247
(=>
    (attribute ?X Healthy)
    (not
        (exists (?Y)
            (and
                (instance ?Y DiseaseOrSyndrome)
                (attribute ?X ?Y)))))
Mid-level-ontology.kif 30199-30205
(=>
    (instance ?A Ambulance)
    (hasPurpose ?A
        (exists (?P ?T)
            (and
                (instance ?P Human)
                (or
                    (attribute ?P DiseaseOrSyndrome)
                    (exists (?I ?H)
                        (and
                            (instance ?I Injuring)
                            (experiencer ?I ?H)
                            (before ?I ?T))))
                (instance ?T Transportation)
                (instrument ?T ?A)
                (patient ?T ?H)))))
Transportation.kif 1906-1921


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