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

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


(instance Anemia DiseaseOrSyndrome) Medicine.kif 138-138 Anaemia is an instance of disease or syndrome
(instance Asthma DiseaseOrSyndrome) Medicine.kif 3395-3395 Asthma is an instance of disease or syndrome
(instance Bedridden DiseaseOrSyndrome) Mid-level-ontology.kif 11062-11062 Bed ridden is an instance of disease or syndrome
(instance Beriberi DiseaseOrSyndrome) Medicine.kif 2468-2468 Beriberi is an instance of disease or syndrome
(instance BoneFracture DiseaseOrSyndrome) Medicine.kif 6122-6122 Bone fracture is an instance of disease or syndrome
(instance BrainDead DiseaseOrSyndrome) Medicine.kif 5175-5175 Brain dead is an instance of disease or syndrome
(instance Bruise DiseaseOrSyndrome) Medicine.kif 412-412 Hematoma is an instance of disease or syndrome
(instance Cancer DiseaseOrSyndrome) Mid-level-ontology.kif 6286-6286 Cancer is an instance of disease or syndrome
(instance CatastrophicBloodLoss DiseaseOrSyndrome) Medicine.kif 5946-5946 Catastrophic blood loss is an instance of disease or syndrome
(instance ChronicFatigueSyndrome DiseaseOrSyndrome) Medicine.kif 1479-1479 ME/CFS is an instance of disease or syndrome
(instance ChronicObstructivePulmonaryDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5950-5950 COPD is an instance of disease or syndrome
(instance Coma DiseaseOrSyndrome) Medicine.kif 5204-5204 Coma is an instance of disease or syndrome
(instance Diabetes DiseaseOrSyndrome) Medicine.kif 1383-1383 Diabetes mellitus is an instance of disease or syndrome
(instance Diarrhea DiseaseOrSyndrome) Mid-level-ontology.kif 5945-5945 Diarrhea is an instance of disease or syndrome
(instance Dizzy DiseaseOrSyndrome) Mid-level-ontology.kif 16433-16433 Dizzy is an instance of disease or syndrome
(instance Eczema DiseaseOrSyndrome) Medicine.kif 4361-4361 Atopic dermatitis is an instance of disease or syndrome
(instance Fever DiseaseOrSyndrome) Mid-level-ontology.kif 6150-6150 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 6165-6165 Goiter is an instance of disease or syndrome
(instance HeartDisease DiseaseOrSyndrome) Medicine.kif 5718-5718 Cardiovascular disease is an instance of disease or syndrome
(instance HighBloodPressure DiseaseOrSyndrome) Mid-level-ontology.kif 10490-10490 Hypertension is an instance of disease or syndrome
(instance HivAids DiseaseOrSyndrome) People.kif 475-475 Hiv aids is an instance of disease or syndrome
(instance Hyperferritinemia DiseaseOrSyndrome) Medicine.kif 4930-4930 Hyperferritinemia is an instance of disease or syndrome
(instance Hypersalivation DiseaseOrSyndrome) Medicine.kif 5320-5320 Hypersalivation is an instance of disease or syndrome
(instance Hyperthermia DiseaseOrSyndrome) Medicine.kif 677-677 Hyperthermia is an instance 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 diseaseCandidate 2 DiseaseOrSyndrome) Medicine.kif 1933-1933 The number 2 argument of diseaseCandidate 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 diseaseMedicine 1 DiseaseOrSyndrome) WMD.kif 932-932 The number 1 argument of disease treatment 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) Medicine.kif 5818-5818 The number 1 argument of diseaseTreatment is an instance of disease or syndrome
(domain medicine 2 DiseaseOrSyndrome) Mid-level-ontology.kif 9668-9668 The number 2 argument of medicine is an instance of disease or syndrome
(domain pathologicSymptom 1 DiseaseOrSyndrome) Merge.kif 10445-10445 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
        (connectedBodyPartTypes ?P1 ?P2 ?O)
        (instance ?OC ?O)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (exists (?PC1 ?PC2)
        (and
            (instance ?PC1 ?P1)
            (instance ?PC2 ?P2)
            (not
                (equal ?PC1 ?PC2))
            (part ?PC1 ?OC)
            (part ?PC2 ?OC)
            (connected ?PC1 ?PC2))))
Anatomy.kif 32-46
(=>
    (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 2155-2168
(=>
    (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 12736-12749
(=>
    (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 12709-12722
(=>
    (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 11225-11238
(=>
    (and
        (instance ?R CervicalVertebraBone)
        (part ?R ?H)
        (instance ?H Human)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (exists (?S)
        (and
            (instance ?S CervicalVertebraBone)
            (not
                (equal ?S ?R))
            (part ?S ?H)
            (connected ?S ?R))))
Anatomy.kif 561-574
(=>
    (and
        (instance ?R FalseRibBone)
        (part ?R ?H)
        (instance ?H Human)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (not
        (exists (?S)
            (and
                (instance ?S Sternum)
                (part ?S ?H)
                (connected ?S ?R)))))
Anatomy.kif 505-517
(=>
    (and
        (instance ?R LumbarVertebraBone)
        (part ?R ?H)
        (instance ?H Human)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (exists (?S)
        (and
            (instance ?S LumbarVertebraBone)
            (not
                (equal ?S ?R))
            (part ?S ?H)
            (connected ?S ?R))))
Anatomy.kif 601-614
(=>
    (and
        (instance ?R ThoracicVertebraBone)
        (part ?R ?H)
        (instance ?H Human)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (exists (?S)
        (and
            (instance ?S ThoracicVertebraBone)
            (not
                (equal ?S ?R))
            (part ?S ?H)
            (connected ?S ?R))))
Anatomy.kif 669-682
(=>
    (and
        (instance ?R TrueRibBone)
        (part ?R ?H)
        (instance ?H Human)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (exists (?S)
        (and
            (instance ?S Sternum)
            (part ?S ?H)
            (connected ?S ?R))))
Anatomy.kif 492-503
(=>
    (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 802-815
(=>
    (and
        (typicalBloodVolume ?M
            (MeasureFn ?N ?U))
        (instance ?MI ?M)
        (holdsDuring ?T
            (and
                (not
                    (attribute ?H DiseaseOrSyndrome))
                (bloodVolume ?H
                    (MeasureFn ?N2 ?U)))))
    (approximateValue ?N2 ?N))
Medicine.kif 5933-5944

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


(=>
    (and
        (instance ?E Epidemic)
        (involvedInEvent ?E ?H))
    (or
        (and
            (instance ?D DiseaseOrSyndrome)
            (attribute ?H ?D))
        (exists (?P)
            (and
                (instance ?P PathologicProcess)
                (experiencer ?P ?H)
                (subProcess ?P ?E)))))
Medicine.kif 3517-3529
(=>
    (and
        (instance ?M Misdiagnosing)
        (agent ?M ?D)
        (refers ?M ?P)
        (instance ?P Human))
    (exists (?DIS)
        (and
            (containsFormula ?M
                (attribute ?P ?DIS))
            (instance ?DIS DiseaseOrSyndrome)
            (believes ?D
                (attribute ?P ?DIS))
            (truth
                (attribute ?P ?DIS) False))))
Medicine.kif 4195-4210
(=>
    (and
        (instance ?PATH PathologicProcess)
        (experiencer ?PATH ?ORG))
    (exists (?PART ?DISEASE)
        (and
            (part ?PART ?ORG)
            (instance ?DISEASE DiseaseOrSyndrome)
            (attribute ?PART ?DISEASE))))
Merge.kif 10430-10438
(=>
    (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 6246-6259
(=>
    (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 5926-5939
(=>
    (and
        (instance ?W SickLeave)
        (agent ?W ?PERSON))
    (exists (?S)
        (and
            (instance ?S DiseaseOrSyndrome)
            (refers ?W ?S))))
Mid-level-ontology.kif 20486-20493
(=>
    (attribute ?X Healthy)
    (not
        (exists (?Y)
            (and
                (instance ?Y DiseaseOrSyndrome)
                (attribute ?X ?Y)))))
Mid-level-ontology.kif 30308-30314
(=>
    (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 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