Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


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

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


(range ImpairedBodyPartFn DiseaseOrSyndrome) Merge.kif 18560-18560 The range of impaired body part fn is an instance of disease or syndrome
(range DeadOrMissingBodyPartFn DiseaseOrSyndrome) Merge.kif 18581-18581 The range of dead or missing body part fn is an instance of disease or syndrome
(subclass PsychologicalDysfunction DiseaseOrSyndrome) Merge.kif 18703-18703 Psychological dysfunction is a subclass of disease or syndrome
(subclass NonspecificDisease DiseaseOrSyndrome) Mid-level-ontology.kif 6919-6919 Nonspecific disease is a subclass of disease or syndrome
(subclass PhysicalDisease DiseaseOrSyndrome) Mid-level-ontology.kif 6934-6934 Physical disease is a subclass of disease or syndrome
(subclass InfectiousDisease DiseaseOrSyndrome) Mid-level-ontology.kif 6945-6945 Infectious disease is a subclass of disease or syndrome
(subclass ParasiticDisease DiseaseOrSyndrome) Mid-level-ontology.kif 6980-6980 Parasitic disease is a subclass of disease or syndrome
(subclass FungalDisease DiseaseOrSyndrome) Mid-level-ontology.kif 6993-6993 Fungal disease is a subclass of disease or syndrome
(subclass ChronicDisease DiseaseOrSyndrome) Mid-level-ontology.kif 7025-7025 Chronic disease is a subclass of disease or syndrome
(instance Diarrhea DiseaseOrSyndrome) Mid-level-ontology.kif 7070-7070 Diarrhea is an instance of disease or syndrome
(instance ChronicObstructivePulmonaryDisease DiseaseOrSyndrome) Mid-level-ontology.kif 7075-7075 COPD is an instance of disease or syndrome
(instance Fever DiseaseOrSyndrome) Mid-level-ontology.kif 7275-7275 A fever is an instance of disease or syndrome
(instance Goiter DiseaseOrSyndrome) Mid-level-ontology.kif 7290-7290 A goiter is an instance of disease or syndrome
(instance Pneumonia DiseaseOrSyndrome) Mid-level-ontology.kif 7309-7309 Pneumonia is an instance of disease or syndrome
(instance Cancer DiseaseOrSyndrome) Mid-level-ontology.kif 7411-7411 Cancer is an instance of disease or syndrome
(instance Paralysis DiseaseOrSyndrome) Mid-level-ontology.kif 7422-7422 Paralysis is an instance of disease or syndrome
(range ParalysisFn DiseaseOrSyndrome) Mid-level-ontology.kif 7443-7443 The range of paralysis is an instance of disease or syndrome
(instance SexualDysfunction DiseaseOrSyndrome) Mid-level-ontology.kif 7492-7492 Sexual dysfunction is an instance of disease or syndrome
(instance HighBloodPressure DiseaseOrSyndrome) Mid-level-ontology.kif 11916-11916 Hypertension is an instance of disease or syndrome
(instance LowBloodPressure DiseaseOrSyndrome) Mid-level-ontology.kif 11934-11934 Hypotension is an instance of disease or syndrome
(instance Bedridden DiseaseOrSyndrome) Mid-level-ontology.kif 12525-12525 Bed ridden is an instance of disease or syndrome
(instance Dizzy DiseaseOrSyndrome) Mid-level-ontology.kif 18039-18039 Dizziness is an instance of disease or syndrome
(subclass Disability DiseaseOrSyndrome) Mid-level-ontology.kif 21653-21653 Disability is a subclass of disease or syndrome
(instance Injury DiseaseOrSyndrome) Medicine.kif 100-100 Injury is an instance of disease or syndrome
(instance Anemia DiseaseOrSyndrome) Medicine.kif 139-139 Anaemia 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 pathologicSymptom 1 DiseaseOrSyndrome) Merge.kif 10656-10656 The number 1 argument of pathologic symptom is an instance of disease or syndrome
(domain medicine 2 DiseaseOrSyndrome) Mid-level-ontology.kif 11107-11107 The number 2 argument of medicine is an instance of disease or syndrome
(domain diseaseCandidate 2 DiseaseOrSyndrome) Medicine.kif 1917-1917 The number 2 argument of disease candidate is an instance of disease or syndrome
(domain diseaseTreatment 1 DiseaseOrSyndrome) Medicine.kif 5844-5844 The number 1 argument of disease treatment is an instance of disease or syndrome
(domain biochemicalAgentSyndrome 2 DiseaseOrSyndrome) WMD.kif 757-757 The number 2 argument of biochemical agent syndrome 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 diseaseMortality 1 DiseaseOrSyndrome) WMD.kif 880-880 The number 1 argument of disease mortality is an instance of disease or syndrome
(domain diseaseMedicine 1 DiseaseOrSyndrome) WMD.kif 927-927 The number 1 argument of disease treatment is an instance of disease or syndrome
(domain diseaseIncubation 1 DiseaseOrSyndrome) WMD.kif 1526-1526 The number 1 argument of disease incubation is an instance of disease or syndrome
(domain sideEffect 2 DiseaseOrSyndrome) WMD.kif 1536-1536 The number 2 argument of side effect is an instance of disease or syndrome

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


(=>
    (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 792-805 If X is an instance of vocal cords, Y is an instance of disease or syndrome, and Y is not an attribute of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of vocal fold (3) W is an instance of vocal fold (4) equal Z (5) W (6) Z is a part of X (7) W is a part of X
(=>
    (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)
            (experiencer ?P ?ANI)
            (objectTransferred ?P ?W))))		 Mid-level-ontology.kif 2761-2774 If X is an instance of animal, Y is an instance of disease or syndrome, and Y is not an attribute of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of biological process (3) Z is an instance of removing (4) Z originates at X (5) W is an instance of sewage (6) X experiences Z (7) the object transferred in Z is W
(=>
    (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 12688-12701 If X is an instance of primate, Y is an instance of disease or syndrome, and Y is not an attribute of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of lung (3) W is an instance of lung (4) equal Z (5) W (6) Z is a part of X (7) W is a part of X
(=>
    (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 14299-14312 If X is an instance of primate, Y is an instance of disease or syndrome, and Y is not an attribute of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of leg (3) W is an instance of leg (4) equal Z (5) W (6) Z is a part of X (7) W is a part of X
(=>
    (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 14326-14339 If X is an instance of primate, Y is an instance of disease or syndrome, and Y is not an attribute of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of foot (3) W is an instance of foot (4) equal Z (5) W (6) Z is a part of X (7) W is a part of X
(=>
    (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 29-43 If connected body parts X, Y and Z, W is an instance of Z, and disease or syndrome is not an attribute of V, then All of the following hold: (1) there exist U (2) T such that U is an instance of X (3) T is an instance of Y (4) equal U (5) T (6) U is a part of W (7) T is a part of W (8) U is connected to T
(=>
    (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 496-507 If X is an instance of costae verae, X is a part of Y, Y is an instance of human, and disease or syndrome is not an attribute of Y, then there exists Z such that Z is an instance of sternum, Z is a part of Y, and Z is connected to X
(=>
    (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 509-521 If X is an instance of costae spuriae, X is a part of Y, Y is an instance of human, and disease or syndrome is not an attribute of Y, then there doesn't exist Z such that Z is an instance of sternum, Z is a part of Y, and Z is connected to X
(=>
    (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 565-578 If X is an instance of cervical vertebra bone, X is a part of Y, Y is an instance of human, and disease or syndrome is not an attribute of Y, then there exists Z such that Z is an instance of cervical vertebra bone, equal Z, X, Z is a part of Y, and Z is connected to X
(=>
    (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 605-618 If X is an instance of lumbar vertebra bone, X is a part of Y, Y is an instance of human, and disease or syndrome is not an attribute of Y, then there exists Z such that Z is an instance of lumbar vertebra bone, equal Z, X, Z is a part of Y, and Z is connected to X
(=>
    (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 673-686 If X is an instance of thoracic vertebra bone, X is a part of Y, Y is an instance of human, and disease or syndrome is not an attribute of Y, then there exists Z such that Z is an instance of thoracic vertebra bone, equal Z, X, Z is a part of Y, and Z is connected to X
(=>
    (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 5964-5975 If the typical volume of blood of a X is Y Z(s), W is an instance of X, and disease or syndrome is not an attribute of V and V has U Z(s) of blood holds during T, then the approximate value of U is Y

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


(=>
    (and
        (instance ?PATH PathologicProcess)
        (experiencer ?PATH ?ORG))
    (exists (?PART ?DISEASE)
        (and
            (part ?PART ?ORG)
            (instance ?DISEASE DiseaseOrSyndrome)
            (attribute ?PART ?DISEASE))))		 Merge.kif 10641-10649 If X is an instance of pathologic process and Y experiences X, then there exist Z, W such that Z is a part of Y, W is an instance of disease or syndrome, and W is an attribute of Z
(=>
    (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 7051-7064 If X is an instance of taking ill and Y experiences X, then there exists Z such that Z is an instance of disease or syndrome, Z is not an attribute of Y holds during the beginning of the time of existence of X, and Z is an attribute of Y holds during the end of the time of existence of X
(=>
    (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 7371-7384 If X is an instance of recovering from illness and Y experiences X, then there exists Z such that Z is an instance of disease or syndrome, Z is an attribute of Y holds during the beginning of the time of existence of Z, and Z is not an attribute of Y holds during the end of the time of existence of Z
(=>
    (and
        (instance ?W SickLeave)
        (agent ?W ?PERSON))
    (exists (?S)
        (and
            (instance ?S DiseaseOrSyndrome)
            (refers ?W ?S))))		 Mid-level-ontology.kif 22701-22708 If X is an instance of sick leave and Y is an agent of X, then there exists Z such that Z is an instance of disease or syndrome and X includes a reference to Z
(=>
    (attribute ?X Healthy)
    (not
        (exists (?Y)
            (and
                (instance ?Y DiseaseOrSyndrome)
                (attribute ?X ?Y)))))		 Mid-level-ontology.kif 32918-32924 If healthy is an attribute of X, then there doesn't exist Y such that Y is an instance of disease or syndrome and Y is an attribute of X
(=>
    (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 3547-3559 If X is an instance of epidemic and Y is an involved in event of X, then Z is an instance of disease or syndrome and Z is an attribute of Y or there exists W such that W is an instance of pathologic process, Y experiences W, and W is a subprocess of X
(=>
    (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 4232-4247 If X is an instance of misdiagnosing, Y is an agent of X, X includes a reference to Z, and Z is an instance of human, then there exists W such that X contains the formula W is an attribute of Z, W is an instance of disease or syndrome, Y believes W is an attribute of Z, and W is an attribute of Z is false
(=>
    (instance ?A Ambulance)
    (hasPurpose ?A
        (exists (?P ?T ?H)
            (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 2061-2076 If X is an instance of ambulance, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of human (3) disease or syndrome is an attribute of Y or there exists V such that V is an instance of injuring (4) W experiences V (5) V happens before Z (6) Z is an instance of transportation (7) X is an instrument for Z (8) W is a patient of Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners