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 病気または症候群生物学的属性subclass では

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


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

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 biochemicalAgentSyndrome の数値 2 引数は 病気または症候群instance では
(domain diseaseCandidate 2 DiseaseOrSyndrome) Medicine.kif 1926-1926 diseaseCandidate の数値 2 引数は 病気または症候群instance では
(domain diseaseIncubation 1 DiseaseOrSyndrome) WMD.kif 1530-1530 diseaseIncubation の数値 1 引数は 病気または症候群instance では
(domain diseaseMedicine 1 DiseaseOrSyndrome) WMD.kif 932-932 diseaseMedicine の数値 1 引数は 病気または症候群instance では
(domain diseaseMortality 1 DiseaseOrSyndrome) WMD.kif 885-885 diseaseMortality の数値 1 引数は 病気または症候群instance では
(domain diseaseSymptom 1 DiseaseOrSyndrome) WMD.kif 870-870 diseaseSymptom の数値 1 引数は 病気または症候群instance では
(domain diseaseSymptom 2 DiseaseOrSyndrome) WMD.kif 871-871 diseaseSymptom の数値 2 引数は 病気または症候群instance では
(domain diseaseTreatment 1 DiseaseOrSyndrome) Medicine.kif 5830-5830 diseaseTreatment の数値 1 引数は 病気または症候群instance では
(domain medicine 2 DiseaseOrSyndrome) Mid-level-ontology.kif 10970-10970 medicine の数値 2 引数は 病気または症候群instance では
(domain pathologicSymptom 1 DiseaseOrSyndrome) Merge.kif 10549-10549 pathologicSymptom の数値 1 引数は 病気または症候群instance では
(domain sideEffect 2 DiseaseOrSyndrome) WMD.kif 1540-1540 sideEffect の数値 2 引数は 病気または症候群instance では

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