Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - DiseaseOrSyndrome
DiseaseOrSyndrome

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 18399-18402
(subclass DiseaseOrSyndrome BiologicalAttribute) Merge.kif 18398-18398

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


(instance Anemia DiseaseOrSyndrome) Medicine.kif 138-138
(instance Asthma DiseaseOrSyndrome) Medicine.kif 3396-3396
(instance Bedridden DiseaseOrSyndrome) Mid-level-ontology.kif 12366-12366
(instance Beriberi DiseaseOrSyndrome) Medicine.kif 2466-2466
(instance BoneFracture DiseaseOrSyndrome) Medicine.kif 6139-6139
(instance BrainDead DiseaseOrSyndrome) Medicine.kif 5183-5183
(instance Bruise DiseaseOrSyndrome) Medicine.kif 401-401
(instance Cancer DiseaseOrSyndrome) Mid-level-ontology.kif 7229-7229
(instance CatastrophicBloodLoss DiseaseOrSyndrome) Medicine.kif 5963-5963
(instance ChronicFatigueSyndrome DiseaseOrSyndrome) Medicine.kif 1471-1471
(instance ChronicObstructivePulmonaryDisease DiseaseOrSyndrome) Mid-level-ontology.kif 6893-6893
(instance Coma DiseaseOrSyndrome) Medicine.kif 5212-5212
(instance Diabetes DiseaseOrSyndrome) Medicine.kif 1375-1375
(instance Diarrhea DiseaseOrSyndrome) Mid-level-ontology.kif 6888-6888
(instance Dizzy DiseaseOrSyndrome) Mid-level-ontology.kif 17793-17793
(instance Eczema DiseaseOrSyndrome) Medicine.kif 4368-4368
(instance Fever DiseaseOrSyndrome) Mid-level-ontology.kif 7093-7093
(instance Gastroenteritis DiseaseOrSyndrome) WMD.kif 1105-1105
(instance Goiter DiseaseOrSyndrome) Mid-level-ontology.kif 7108-7108
(instance HeartDisease DiseaseOrSyndrome) Medicine.kif 5729-5729
(instance HighBloodPressure DiseaseOrSyndrome) Mid-level-ontology.kif 11794-11794
(instance HivAids DiseaseOrSyndrome) People.kif 475-475
(instance Hyperferritinemia DiseaseOrSyndrome) Medicine.kif 4937-4937
(instance Hypersalivation DiseaseOrSyndrome) Medicine.kif 5329-5329
(instance Hyperthermia DiseaseOrSyndrome) Medicine.kif 668-668

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
(domain diseaseCandidate 2 DiseaseOrSyndrome) Medicine.kif 1926-1926
(domain diseaseIncubation 1 DiseaseOrSyndrome) WMD.kif 1530-1530
(domain diseaseMedicine 1 DiseaseOrSyndrome) WMD.kif 932-932
(domain diseaseMortality 1 DiseaseOrSyndrome) WMD.kif 885-885
(domain diseaseSymptom 1 DiseaseOrSyndrome) WMD.kif 870-870
(domain diseaseSymptom 2 DiseaseOrSyndrome) WMD.kif 871-871
(domain diseaseTreatment 1 DiseaseOrSyndrome) Medicine.kif 5830-5830
(domain medicine 2 DiseaseOrSyndrome) Mid-level-ontology.kif 10970-10970
(domain pathologicSymptom 1 DiseaseOrSyndrome) Merge.kif 10549-10549
(domain sideEffect 2 DiseaseOrSyndrome) WMD.kif 1540-1540

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 2625-2638
(=>
    (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 14040-14053
(=>
    (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 14013-14026
(=>
    (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 12529-12542
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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 5950-5961

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 3518-3530
(=>
    (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 4201-4216
(=>
    (and
        (instance ?PATH PathologicProcess)
        (experiencer ?PATH ?ORG))
    (exists (?PART ?DISEASE)
        (and
            (part ?PART ?ORG)
            (instance ?DISEASE DiseaseOrSyndrome)
            (attribute ?PART ?DISEASE))))
Merge.kif 10534-10542
(=>
    (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 7189-7202
(=>
    (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 6869-6882
(=>
    (and
        (instance ?W SickLeave)
        (agent ?W ?PERSON))
    (exists (?S)
        (and
            (instance ?S DiseaseOrSyndrome)
            (refers ?W ?S))))
Mid-level-ontology.kif 22076-22083
(=>
    (attribute ?X Healthy)
    (not
        (exists (?Y)
            (and
                (instance ?Y DiseaseOrSyndrome)
                (attribute ?X ?Y)))))
Mid-level-ontology.kif 32202-32208
(=>
    (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 2046-2061


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