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


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

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


(range ImpairedBodyPartFn DiseaseOrSyndrome) Merge.kif 18426-18426 The range of impaired body part fn is an instance of disease or syndrome
(range DeadOrMissingBodyPartFn DiseaseOrSyndrome) Merge.kif 18447-18447 The range of dead or missing body part fn is an instance of disease or syndrome
(subclass PsychologicalDysfunction DiseaseOrSyndrome) Merge.kif 18569-18569 Psychological dysfunction is a subclass of disease or syndrome
(subclass NonspecificDisease DiseaseOrSyndrome) Mid-level-ontology.kif 6756-6756 Nonspecific disease is a subclass of disease or syndrome
(subclass PhysicalDisease DiseaseOrSyndrome) Mid-level-ontology.kif 6771-6771 Physical disease is a subclass of disease or syndrome
(subclass InfectiousDisease DiseaseOrSyndrome) Mid-level-ontology.kif 6782-6782 Infectious disease is a subclass of disease or syndrome
(subclass ParasiticDisease DiseaseOrSyndrome) Mid-level-ontology.kif 6817-6817 Parasitic disease is a subclass of disease or syndrome
(subclass FungalDisease DiseaseOrSyndrome) Mid-level-ontology.kif 6830-6830 Fungal disease is a subclass of disease or syndrome
(subclass ChronicDisease DiseaseOrSyndrome) Mid-level-ontology.kif 6862-6862 Chronic disease is a subclass of disease or syndrome
(instance Diarrhea DiseaseOrSyndrome) Mid-level-ontology.kif 6907-6907 Diarrhea is an instance of disease or syndrome
(instance ChronicObstructivePulmonaryDisease DiseaseOrSyndrome) Mid-level-ontology.kif 6912-6912 COPD is an instance of disease or syndrome
(instance Fever DiseaseOrSyndrome) Mid-level-ontology.kif 7112-7112 A fever is an instance of disease or syndrome
(instance Goiter DiseaseOrSyndrome) Mid-level-ontology.kif 7127-7127 A goiter is an instance of disease or syndrome
(instance Pneumonia DiseaseOrSyndrome) Mid-level-ontology.kif 7146-7146 Pneumonia is an instance of disease or syndrome
(instance Cancer DiseaseOrSyndrome) Mid-level-ontology.kif 7248-7248 Cancer is an instance of disease or syndrome
(instance Paralysis DiseaseOrSyndrome) Mid-level-ontology.kif 7259-7259 Paralysis is an instance of disease or syndrome
(instance SexualDysfunction DiseaseOrSyndrome) Mid-level-ontology.kif 7359-7359 Sexual dysfunction is an instance of disease or syndrome
(instance HighBloodPressure DiseaseOrSyndrome) Mid-level-ontology.kif 11834-11834 Hypertension is an instance of disease or syndrome
(instance LowBloodPressure DiseaseOrSyndrome) Mid-level-ontology.kif 11852-11852 Hypotension is an instance of disease or syndrome
(instance Bedridden DiseaseOrSyndrome) Mid-level-ontology.kif 12428-12428 Bed ridden is an instance of disease or syndrome
(instance Dizzy DiseaseOrSyndrome) Mid-level-ontology.kif 17969-17969 Dizziness is an instance of disease or syndrome
(subclass Disability DiseaseOrSyndrome) Mid-level-ontology.kif 21719-21719 Disability is a subclass of disease or syndrome
(instance Injury DiseaseOrSyndrome) Medicine.kif 99-99 Injury is an instance of disease or syndrome
(instance Anemia DiseaseOrSyndrome) Medicine.kif 138-138 Anaemia is an instance of disease or syndrome
(instance Bruise DiseaseOrSyndrome) Medicine.kif 402-402 A hematoma 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 10569-10569 The number 1 argument of pathologic symptom is an instance of disease or syndrome
(domain medicine 2 DiseaseOrSyndrome) Mid-level-ontology.kif 11010-11010 The number 2 argument of medicine is an instance of disease or syndrome
(domain diseaseCandidate 2 DiseaseOrSyndrome) Medicine.kif 1913-1913 The number 2 argument of disease candidate is an instance of disease or syndrome
(domain diseaseTreatment 1 DiseaseOrSyndrome) Medicine.kif 5806-5806 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 1525-1525 The number 1 argument of disease incubation is an instance of disease or syndrome
(domain sideEffect 2 DiseaseOrSyndrome) WMD.kif 1535-1535 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 805-818 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 2643-2656 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 12591-12604 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 14169-14182 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 14196-14209 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 32-46 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 507-518 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 520-532 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 576-589 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 616-629 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 684-697 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 5926-5937 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 10554-10562 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 6888-6901 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 7208-7221 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 22767-22774 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 32981-32987 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 3509-3521 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 4194-4209 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)
            (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 2061-2076 If X is an instance of ambulance, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of human (3) disease or syndrome is an attribute of Y or there exist W (4) V such that W is an instance of injuring (5) V experiences W (6) W happens before Z (7) Z is an instance of transportation (8) X is an instrument for Z (9) V is a patient of Z


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