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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DiseaseOrSyndrome
DiseaseOrSyndrome(maladie ou syndrome)

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 18384-18387
(subclass DiseaseOrSyndrome BiologicalAttribute) Merge.kif 18383-18383 Maladie ou syndrome est une sous-classe de attribut biologique

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


(instance Anemia DiseaseOrSyndrome) Medicine.kif 138-138 Anemia est une instance de maladie ou syndrome
(instance Asthma DiseaseOrSyndrome) Medicine.kif 3396-3396 Asthma est une instance de maladie ou syndrome
(instance Bedridden DiseaseOrSyndrome) Mid-level-ontology.kif 12366-12366 Bedridden est une instance de maladie ou syndrome
(instance Beriberi DiseaseOrSyndrome) Medicine.kif 2466-2466 Beriberi est une instance de maladie ou syndrome
(instance BoneFracture DiseaseOrSyndrome) Medicine.kif 6139-6139 BoneFracture est une instance de maladie ou syndrome
(instance BrainDead DiseaseOrSyndrome) Medicine.kif 5183-5183 BrainDead est une instance de maladie ou syndrome
(instance Bruise DiseaseOrSyndrome) Medicine.kif 401-401 Bruise est une instance de maladie ou syndrome
(instance Cancer DiseaseOrSyndrome) Mid-level-ontology.kif 7229-7229 Cancer est une instance de maladie ou syndrome
(instance CatastrophicBloodLoss DiseaseOrSyndrome) Medicine.kif 5963-5963 CatastrophicBloodLoss est une instance de maladie ou syndrome
(instance ChronicFatigueSyndrome DiseaseOrSyndrome) Medicine.kif 1471-1471 ChronicFatigueSyndrome est une instance de maladie ou syndrome
(instance ChronicObstructivePulmonaryDisease DiseaseOrSyndrome) Mid-level-ontology.kif 6893-6893 ChronicObstructivePulmonaryDisease est une instance de maladie ou syndrome
(instance Coma DiseaseOrSyndrome) Medicine.kif 5212-5212 Coma est une instance de maladie ou syndrome
(instance Diabetes DiseaseOrSyndrome) Medicine.kif 1375-1375 Diabetes est une instance de maladie ou syndrome
(instance Diarrhea DiseaseOrSyndrome) Mid-level-ontology.kif 6888-6888 Diarrhea est une instance de maladie ou syndrome
(instance Dizzy DiseaseOrSyndrome) Mid-level-ontology.kif 17793-17793 Dizzy est une instance de maladie ou syndrome
(instance Eczema DiseaseOrSyndrome) Medicine.kif 4368-4368 Eczema est une instance de maladie ou syndrome
(instance Fever DiseaseOrSyndrome) Mid-level-ontology.kif 7093-7093 Fever est une instance de maladie ou syndrome
(instance Gastroenteritis DiseaseOrSyndrome) WMD.kif 1105-1105 Gastroenteritis est une instance de maladie ou syndrome
(instance Goiter DiseaseOrSyndrome) Mid-level-ontology.kif 7108-7108 Goiter est une instance de maladie ou syndrome
(instance HeartDisease DiseaseOrSyndrome) Medicine.kif 5729-5729 HeartDisease est une instance de maladie ou syndrome
(instance HighBloodPressure DiseaseOrSyndrome) Mid-level-ontology.kif 11794-11794 HighBloodPressure est une instance de maladie ou syndrome
(instance HivAids DiseaseOrSyndrome) People.kif 475-475 HivAids est une instance de maladie ou syndrome
(instance Hyperferritinemia DiseaseOrSyndrome) Medicine.kif 4937-4937 Hyperferritinemia est une instance de maladie ou syndrome
(instance Hypersalivation DiseaseOrSyndrome) Medicine.kif 5329-5329 Hypersalivation est une instance de maladie ou syndrome
(instance Hyperthermia DiseaseOrSyndrome) Medicine.kif 668-668 Hyperthermia est une instance de maladie ou 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 Le nombre 2 argument de biochemicalAgentSyndrome est une instance de maladie ou syndrome
(domain diseaseCandidate 2 DiseaseOrSyndrome) Medicine.kif 1926-1926 Le nombre 2 argument de diseaseCandidate est une instance de maladie ou syndrome
(domain diseaseIncubation 1 DiseaseOrSyndrome) WMD.kif 1530-1530 Le nombre 1 argument de diseaseIncubation est une instance de maladie ou syndrome
(domain diseaseMedicine 1 DiseaseOrSyndrome) WMD.kif 932-932 Le nombre 1 argument de diseaseMedicine est une instance de maladie ou syndrome
(domain diseaseMortality 1 DiseaseOrSyndrome) WMD.kif 885-885 Le nombre 1 argument de diseaseMortality est une instance de maladie ou syndrome
(domain diseaseSymptom 1 DiseaseOrSyndrome) WMD.kif 870-870 Le nombre 1 argument de diseaseSymptom est une instance de maladie ou syndrome
(domain diseaseSymptom 2 DiseaseOrSyndrome) WMD.kif 871-871 Le nombre 2 argument de diseaseSymptom est une instance de maladie ou syndrome
(domain diseaseTreatment 1 DiseaseOrSyndrome) Medicine.kif 5830-5830 Le nombre 1 argument de diseaseTreatment est une instance de maladie ou syndrome
(domain medicine 2 DiseaseOrSyndrome) Mid-level-ontology.kif 10970-10970 Le nombre 2 argument de medicine est une instance de maladie ou syndrome
(domain pathologicSymptom 1 DiseaseOrSyndrome) Merge.kif 10534-10534 Le nombre 1 argument de pathologicSymptom est une instance de maladie ou syndrome
(domain sideEffect 2 DiseaseOrSyndrome) WMD.kif 1540-1540 Le nombre 2 argument de sideEffect est une instance de maladie ou 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 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 10519-10527
(=>
    (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 32204-32210
(=>
    (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