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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DiseaseOrSyndrome

 Sigma KEE - DiseaseOrSyndrome
DiseaseOrSyndrome(Doenca ou Sindrome)

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 18234-18237
(subclass DiseaseOrSyndrome BiologicalAttribute) Merge.kif 18233-18233 Doenca ou Sindrome e' uma sub-classe de Atributo Biologico

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


(instance Anemia DiseaseOrSyndrome) Medicine.kif 138-138 Anemia e' uma instancia de Doenca ou Sindrome
(instance Asthma DiseaseOrSyndrome) Medicine.kif 3395-3395 Asthma e' uma instancia de Doenca ou Sindrome
(instance Bedridden DiseaseOrSyndrome) Mid-level-ontology.kif 11034-11034 Bedridden e' uma instancia de Doenca ou Sindrome
(instance Beriberi DiseaseOrSyndrome) Medicine.kif 2468-2468 Beriberi e' uma instancia de Doenca ou Sindrome
(instance BoneFracture DiseaseOrSyndrome) Medicine.kif 6122-6122 BoneFracture e' uma instancia de Doenca ou Sindrome
(instance BrainDead DiseaseOrSyndrome) Medicine.kif 5175-5175 BrainDead e' uma instancia de Doenca ou Sindrome
(instance Bruise DiseaseOrSyndrome) Medicine.kif 412-412 Bruise e' uma instancia de Doenca ou Sindrome
(instance Cancer DiseaseOrSyndrome) Mid-level-ontology.kif 6291-6291 Cancer e' uma instancia de Doenca ou Sindrome
(instance CatastrophicBloodLoss DiseaseOrSyndrome) Medicine.kif 5946-5946 CatastrophicBloodLoss e' uma instancia de Doenca ou Sindrome
(instance ChronicFatigueSyndrome DiseaseOrSyndrome) Medicine.kif 1479-1479 ChronicFatigueSyndrome e' uma instancia de Doenca ou Sindrome
(instance ChronicObstructivePulmonaryDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5955-5955 ChronicObstructivePulmonaryDisease e' uma instancia de Doenca ou Sindrome
(instance Coma DiseaseOrSyndrome) Medicine.kif 5204-5204 Coma e' uma instancia de Doenca ou Sindrome
(instance Diabetes DiseaseOrSyndrome) Medicine.kif 1383-1383 Diabetes e' uma instancia de Doenca ou Sindrome
(instance Diarrhea DiseaseOrSyndrome) Mid-level-ontology.kif 5950-5950 Diarrhea e' uma instancia de Doenca ou Sindrome
(instance Dizzy DiseaseOrSyndrome) Mid-level-ontology.kif 16405-16405 Dizzy e' uma instancia de Doenca ou Sindrome
(instance Eczema DiseaseOrSyndrome) Medicine.kif 4361-4361 Eczema e' uma instancia de Doenca ou Sindrome
(instance Fever DiseaseOrSyndrome) Mid-level-ontology.kif 6155-6155 Fever e' uma instancia de Doenca ou Sindrome
(instance Gastroenteritis DiseaseOrSyndrome) WMD.kif 1105-1105 Gastroenteritis e' uma instancia de Doenca ou Sindrome
(instance Goiter DiseaseOrSyndrome) Mid-level-ontology.kif 6170-6170 Goiter e' uma instancia de Doenca ou Sindrome
(instance HeartDisease DiseaseOrSyndrome) Medicine.kif 5718-5718 HeartDisease e' uma instancia de Doenca ou Sindrome
(instance HighBloodPressure DiseaseOrSyndrome) Mid-level-ontology.kif 10462-10462 HighBloodPressure e' uma instancia de Doenca ou Sindrome
(instance HivAids DiseaseOrSyndrome) People.kif 475-475 HivAids e' uma instancia de Doenca ou Sindrome
(instance Hyperferritinemia DiseaseOrSyndrome) Medicine.kif 4930-4930 Hyperferritinemia e' uma instancia de Doenca ou Sindrome
(instance Hypersalivation DiseaseOrSyndrome) Medicine.kif 5320-5320 Hypersalivation e' uma instancia de Doenca ou Sindrome
(instance Hyperthermia DiseaseOrSyndrome) Medicine.kif 677-677 Hyperthermia e' uma instancia de Doenca ou Sindrome

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 O argumento numero 2 de biochemicalAgentSyndrome e' uma instancia de Doenca ou Sindrome
(domain diseaseCandidate 2 DiseaseOrSyndrome) Medicine.kif 1933-1933 O argumento numero 2 de diseaseCandidate e' uma instancia de Doenca ou Sindrome
(domain diseaseIncubation 1 DiseaseOrSyndrome) WMD.kif 1530-1530 O argumento numero 1 de diseaseIncubation e' uma instancia de Doenca ou Sindrome
(domain diseaseMedicine 1 DiseaseOrSyndrome) WMD.kif 932-932 O argumento numero 1 de diseaseMedicine e' uma instancia de Doenca ou Sindrome
(domain diseaseMortality 1 DiseaseOrSyndrome) WMD.kif 885-885 O argumento numero 1 de diseaseMortality e' uma instancia de Doenca ou Sindrome
(domain diseaseSymptom 1 DiseaseOrSyndrome) WMD.kif 870-870 O argumento numero 1 de diseaseSymptom e' uma instancia de Doenca ou Sindrome
(domain diseaseSymptom 2 DiseaseOrSyndrome) WMD.kif 871-871 O argumento numero 2 de diseaseSymptom e' uma instancia de Doenca ou Sindrome
(domain diseaseTreatment 1 DiseaseOrSyndrome) Medicine.kif 5818-5818 O argumento numero 1 de diseaseTreatment e' uma instancia de Doenca ou Sindrome
(domain medicine 2 DiseaseOrSyndrome) Mid-level-ontology.kif 9640-9640 O argumento numero 2 de medicine e' uma instancia de Doenca ou Sindrome
(domain pathologicSymptom 1 DiseaseOrSyndrome) Merge.kif 10431-10431 O argumento numero 1 de pathologicSymptom e' uma instancia de Doenca ou Sindrome
(domain sideEffect 2 DiseaseOrSyndrome) WMD.kif 1540-1540 O argumento numero 2 de sideEffect e' uma instancia de Doenca ou Sindrome

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 12708-12721
(=>
    (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 12681-12694
(=>
    (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 11197-11210
(=>
    (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 10416-10424
(=>
    (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 6251-6264
(=>
    (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 5931-5944
(=>
    (and
        (instance ?W SickLeave)
        (agent ?W ?PERSON))
    (exists (?S)
        (and
            (instance ?S DiseaseOrSyndrome)
            (refers ?W ?S))))		 Mid-level-ontology.kif 20458-20465
(=>
    (attribute ?X Healthy)
    (not
        (exists (?Y)
            (and
                (instance ?Y DiseaseOrSyndrome)
                (attribute ?X ?Y)))))		 Mid-level-ontology.kif 30272-30278
(=>
    (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