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


(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 17489-17492
(subclass DiseaseOrSyndrome BiologicalAttribute) Merge.kif 17488-17488 Disease or syndrome is a subclass of biological attribute

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


(instance Bedridden DiseaseOrSyndrome) Mid-level-ontology.kif 10301-10301 Bed ridden is an instance of disease or syndrome
(instance Cancer DiseaseOrSyndrome) Mid-level-ontology.kif 5943-5943 Cancer is an instance of disease or syndrome
(instance ChronicObstructivePulmonaryDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5615-5615 COPD is an instance of disease or syndrome
(instance Diarrhea DiseaseOrSyndrome) Mid-level-ontology.kif 5610-5610 Diarrhea is an instance of disease or syndrome
(instance Dizzy DiseaseOrSyndrome) Mid-level-ontology.kif 15547-15547 Dizzy is an instance of disease or syndrome
(instance Fever DiseaseOrSyndrome) Mid-level-ontology.kif 5813-5813 Fever is an instance of disease or syndrome
(instance Gastroenteritis DiseaseOrSyndrome) WMD.kif 1093-1093 Gastroenteritis is an instance of disease or syndrome
(instance Goiter DiseaseOrSyndrome) Mid-level-ontology.kif 5828-5828 Goiter is an instance of disease or syndrome
(instance HighBloodPressure DiseaseOrSyndrome) Mid-level-ontology.kif 9753-9753 High blood pressure is an instance of disease or syndrome
(instance HivAids DiseaseOrSyndrome) People.kif 478-478 Hiv aids is an instance of disease or syndrome
(instance Paralysis DiseaseOrSyndrome) Mid-level-ontology.kif 5954-5954 Paralysis is an instance of disease or syndrome
(instance Pneumonia DiseaseOrSyndrome) Mid-level-ontology.kif 5847-5847 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 6050-6050 Sexual dysfunction is an instance of disease or syndrome
(range DeadOrMissingBodyPartFn DiseaseOrSyndrome) Merge.kif 17516-17516 The range of DeadOrMissingBodyPartFn is an instance of disease or syndrome
(range ImpairedBodyPartFn DiseaseOrSyndrome) Merge.kif 17496-17496 The range of ImpairedBodyPartFn is an instance of disease or syndrome
(subclass AcquiredImmunoDeficiencySyndrome DiseaseOrSyndrome) WMD.kif 1327-1327 Acquired immuno deficiency syndrome is a subclass of disease or syndrome
(subclass ChronicDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5565-5565 Chronic disease is a subclass of disease or syndrome
(subclass Disability DiseaseOrSyndrome) Mid-level-ontology.kif 18782-18782 Disability is a subclass of disease or syndrome
(subclass FungalDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5533-5533 Fungal disease is a subclass of disease or syndrome
(subclass InfectiousDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5485-5485 Infectious disease is a subclass of disease or syndrome
(subclass LifeThreateningDisease DiseaseOrSyndrome) WMD.kif 1011-1011 Life threatening disease is a subclass of disease or syndrome
(subclass NonspecificDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5459-5459 Nonspecific disease is a subclass of disease or syndrome
(subclass ParasiticDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5520-5520 Parasitic disease is a subclass of disease or syndrome
(subclass PhysicalDisease DiseaseOrSyndrome) 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
-------------------------


(domain biochemicalAgentSyndrome 2 DiseaseOrSyndrome) WMD.kif 757-757 The number 2 argument of biochemical agent syndrome is an instance of disease or syndrome
(domain diseaseIncubation 1 DiseaseOrSyndrome) WMD.kif 1500-1500 The number 1 argument of disease incubation is an instance of disease or syndrome
(domain diseaseMortality 1 DiseaseOrSyndrome) WMD.kif 879-879 The number 1 argument of disease mortality is an instance of disease or syndrome
(domain diseaseSymptom 1 DiseaseOrSyndrome) WMD.kif 865-865 The number 1 argument of disease symptom is an instance of disease or syndrome
(domain diseaseSymptom 2 DiseaseOrSyndrome) WMD.kif 866-866 The number 2 argument of disease symptom is an instance of disease or syndrome
(domain diseaseTreatment 1 DiseaseOrSyndrome) WMD.kif 923-923 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 10010-10010 The number 1 argument of pathologic symptom is an instance of disease or syndrome
(domain sideEffect 2 DiseaseOrSyndrome) WMD.kif 1510-1510 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 2100-2113
(=>
    (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 11906-11919
(=>
    (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 11879-11892
(=>
    (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 10463-10476
(=>
    (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 754-767

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


(=>
    (and
        (instance ?PATH PathologicProcess)
        (experiencer ?PATH ?ORG))
    (exists (?PART ?DISEASE)
        (and
            (part ?PART ?ORG)
            (instance ?DISEASE DiseaseOrSyndrome)
            (attribute ?PART ?DISEASE))))
Merge.kif 9995-10003
(=>
    (and
        (instance ?R RecoveringFromIllness)
        (experiencer ?R ?A))
    (exists (?D)
        (and
            (instance ?D DiseaseOrSyndrome)
            (holdsDuring
                (BeginFn
                    (WhenFn ?T))
                (attribute ?A ?D))
            (holdsDuring
                (EndFn
                    (WhenFn ?T))
                (not
                    (attribute ?A ?D))))))
Mid-level-ontology.kif 5903-5916
(=>
    (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 5591-5604
(=>
    (and
        (instance ?W SickLeave)
        (agent ?W ?PERSON))
    (exists (?S)
        (and
            (instance ?S DiseaseOrSyndrome)
            (refers ?W ?S))))
Mid-level-ontology.kif 19463-19470
(=>
    (attribute ?X Healthy)
    (not
        (exists (?Y)
            (and
                (instance ?Y DiseaseOrSyndrome)
                (attribute ?X ?Y)))))
Mid-level-ontology.kif 29331-29337
(=>
    (instance ?A Ambulance)
    (hasPurpose ?A
        (exists (?P ?T)
            (and
                (instance ?P Human)
                (or
                    (attribute ?P DiseaseOrSyndrome)
                    (exists (?I)
                        (and
                            (instance ?I Injuring)
                            (experiencer ?I ?H)
                            (before ?I ?T))))
                (instance ?T Transportation)
                (instrument ?T ?A)
                (patient ?T ?H)))))
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