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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DiseaseOrSyndrome

 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 18212-18215
(subclass DiseaseOrSyndrome BiologicalAttribute) Merge.kif 18211-18211 子類 DiseaseOrSyndrome and BiologicalAttribute

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


(instance Anemia DiseaseOrSyndrome) Medicine.kif 138-138 例 Anemia and DiseaseOrSyndrome
(instance Asthma DiseaseOrSyndrome) Medicine.kif 3395-3395 例 Asthma and DiseaseOrSyndrome
(instance Bedridden DiseaseOrSyndrome) Mid-level-ontology.kif 11035-11035 例 Bedridden and DiseaseOrSyndrome
(instance Beriberi DiseaseOrSyndrome) Medicine.kif 2468-2468 例 Beriberi and DiseaseOrSyndrome
(instance BoneFracture DiseaseOrSyndrome) Medicine.kif 6122-6122 例 BoneFracture and DiseaseOrSyndrome
(instance BrainDead DiseaseOrSyndrome) Medicine.kif 5175-5175 例 BrainDead and DiseaseOrSyndrome
(instance Bruise DiseaseOrSyndrome) Medicine.kif 412-412 例 Bruise and DiseaseOrSyndrome
(instance Cancer DiseaseOrSyndrome) Mid-level-ontology.kif 6292-6292 例 癌症 and DiseaseOrSyndrome
(instance CatastrophicBloodLoss DiseaseOrSyndrome) Medicine.kif 5946-5946 例 CatastrophicBloodLoss and DiseaseOrSyndrome
(instance ChronicFatigueSyndrome DiseaseOrSyndrome) Medicine.kif 1479-1479 例 ChronicFatigueSyndrome and DiseaseOrSyndrome
(instance ChronicObstructivePulmonaryDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5956-5956 例 ChronicObstructivePulmonaryDisease and DiseaseOrSyndrome
(instance Coma DiseaseOrSyndrome) Medicine.kif 5204-5204 例 Coma and DiseaseOrSyndrome
(instance Diabetes DiseaseOrSyndrome) Medicine.kif 1383-1383 例 Diabetes and DiseaseOrSyndrome
(instance Diarrhea DiseaseOrSyndrome) Mid-level-ontology.kif 5951-5951 例 腹瀉 and DiseaseOrSyndrome
(instance Dizzy DiseaseOrSyndrome) Mid-level-ontology.kif 16406-16406 例 Dizzy and DiseaseOrSyndrome
(instance Eczema DiseaseOrSyndrome) Medicine.kif 4361-4361 例 Eczema and DiseaseOrSyndrome
(instance Fever DiseaseOrSyndrome) Mid-level-ontology.kif 6156-6156 例 發熱 and DiseaseOrSyndrome
(instance Gastroenteritis DiseaseOrSyndrome) WMD.kif 1105-1105 例 胃腸炎 and DiseaseOrSyndrome
(instance Goiter DiseaseOrSyndrome) Mid-level-ontology.kif 6171-6171 例 甲狀腺腫 and DiseaseOrSyndrome
(instance HeartDisease DiseaseOrSyndrome) Medicine.kif 5718-5718 例 HeartDisease and DiseaseOrSyndrome
(instance HighBloodPressure DiseaseOrSyndrome) Mid-level-ontology.kif 10463-10463 例 HighBloodPressure and DiseaseOrSyndrome
(instance HivAids DiseaseOrSyndrome) People.kif 475-475 例 HIV愛滋病 and DiseaseOrSyndrome
(instance Hyperferritinemia DiseaseOrSyndrome) Medicine.kif 4930-4930 例 Hyperferritinemia and DiseaseOrSyndrome
(instance Hypersalivation DiseaseOrSyndrome) Medicine.kif 5320-5320 例 Hypersalivation and DiseaseOrSyndrome
(instance Hyperthermia DiseaseOrSyndrome) Medicine.kif 677-677 例 Hyperthermia and DiseaseOrSyndrome

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 域 生化藥物綜合症, 2 and DiseaseOrSyndrome
(domain diseaseCandidate 2 DiseaseOrSyndrome) Medicine.kif 1933-1933 域 diseaseCandidate, 2 and DiseaseOrSyndrome
(domain diseaseIncubation 1 DiseaseOrSyndrome) WMD.kif 1530-1530 域 疾病孵化, 1 and DiseaseOrSyndrome
(domain diseaseMedicine 1 DiseaseOrSyndrome) WMD.kif 932-932 域 疾病治療, 1 and DiseaseOrSyndrome
(domain diseaseMortality 1 DiseaseOrSyndrome) WMD.kif 885-885 域 疾病死亡率, 1 and DiseaseOrSyndrome
(domain diseaseSymptom 1 DiseaseOrSyndrome) WMD.kif 870-870 域 疾病症狀, 1 and DiseaseOrSyndrome
(domain diseaseSymptom 2 DiseaseOrSyndrome) WMD.kif 871-871 域 疾病症狀, 2 and DiseaseOrSyndrome
(domain diseaseTreatment 1 DiseaseOrSyndrome) Medicine.kif 5818-5818 域 diseaseTreatment, 1 and DiseaseOrSyndrome
(domain medicine 2 DiseaseOrSyndrome) Mid-level-ontology.kif 9641-9641 域 medicine, 2 and DiseaseOrSyndrome
(domain pathologicSymptom 1 DiseaseOrSyndrome) Merge.kif 10409-10409 域 pathologicSymptom, 1 and DiseaseOrSyndrome
(domain sideEffect 2 DiseaseOrSyndrome) WMD.kif 1540-1540 域 副作用, 2 and DiseaseOrSyndrome

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 2162-2175
(=>
    (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 12709-12722
(=>
    (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 12682-12695
(=>
    (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 11198-11211
(=>
    (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)
            (connectedBodyPart ?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)
                (connectedBodyPart ?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)
            (connectedBodyPart ?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)
            (connectedBodyPart ?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)
            (connectedBodyPart ?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 809-822
(=>
    (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 10394-10402
(=>
    (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 6252-6265
(=>
    (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 5932-5945
(=>
    (and
        (instance ?W SickLeave)
        (agent ?W ?PERSON))
    (exists (?S)
        (and
            (instance ?S DiseaseOrSyndrome)
            (refers ?W ?S))))		 Mid-level-ontology.kif 20459-20466
(=>
    (attribute ?X Healthy)
    (not
        (exists (?Y)
            (and
                (instance ?Y DiseaseOrSyndrome)
                (attribute ?X ?Y)))))		 Mid-level-ontology.kif 30284-30290
(=>
    (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 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 is open source software produced by Articulate Software and its partners