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 17952-17955
(subclass DiseaseOrSyndrome BiologicalAttribute) Merge.kif 17951-17951 疾病或综合症生物属性subclass

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


(instance Bedridden DiseaseOrSyndrome) Mid-level-ontology.kif 10542-10542 Bedridden疾病或综合症instance
(instance Cancer DiseaseOrSyndrome) Mid-level-ontology.kif 5970-5970 癌症疾病或综合症instance
(instance ChronicObstructivePulmonaryDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5642-5642 ChronicObstructivePulmonaryDisease疾病或综合症instance
(instance Diarrhea DiseaseOrSyndrome) Mid-level-ontology.kif 5637-5637 腹泻疾病或综合症instance
(instance Dizzy DiseaseOrSyndrome) Mid-level-ontology.kif 15851-15851 Dizzy疾病或综合症instance
(instance Fever DiseaseOrSyndrome) Mid-level-ontology.kif 5840-5840 发热疾病或综合症instance
(instance Gastroenteritis DiseaseOrSyndrome) WMD.kif 1099-1099 胃肠炎疾病或综合症instance
(instance Goiter DiseaseOrSyndrome) Mid-level-ontology.kif 5855-5855 甲状腺肿疾病或综合症instance
(instance HighBloodPressure DiseaseOrSyndrome) Mid-level-ontology.kif 9994-9994 HighBloodPressure疾病或综合症instance
(instance HivAids DiseaseOrSyndrome) People.kif 485-485 HIV爱滋病疾病或综合症instance
(instance Paralysis DiseaseOrSyndrome) Mid-level-ontology.kif 5981-5981 麻痹疾病或综合症instance
(instance Pneumonia DiseaseOrSyndrome) Mid-level-ontology.kif 5874-5874 Pneumonia疾病或综合症instance
(instance RespiratoryDistress DiseaseOrSyndrome) VirusProteinAndCellPart.kif 736-736 RespiratoryDistress疾病或综合症instance
(instance SexualDysfunction DiseaseOrSyndrome) Mid-level-ontology.kif 6077-6077 SexualDysfunction疾病或综合症instance
(range DeadOrMissingBodyPartFn DiseaseOrSyndrome) Merge.kif 17979-17979 DeadOrMissingBodyPartFnrange疾病或综合症 的实例
(range ImpairedBodyPartFn DiseaseOrSyndrome) Merge.kif 17959-17959 ImpairedBodyPartFnrange疾病或综合症 的实例
(subclass AcquiredImmunoDeficiencySyndrome DiseaseOrSyndrome) WMD.kif 1333-1333 获得性免疫缺陷综合症疾病或综合症subclass
(subclass ChronicDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5592-5592 ChronicDisease疾病或综合症subclass
(subclass Disability DiseaseOrSyndrome) Mid-level-ontology.kif 19125-19125 Disability疾病或综合症subclass
(subclass FungalDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5560-5560 FungalDisease疾病或综合症subclass
(subclass InfectiousDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5512-5512 传染病疾病或综合症subclass
(subclass LifeThreateningDisease DiseaseOrSyndrome) WMD.kif 1017-1017 危及生命的疾病疾病或综合症subclass
(subclass NonspecificDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5486-5486 非特异性疾病疾病或综合症subclass
(subclass ParasiticDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5547-5547 ParasiticDisease疾病或综合症subclass
(subclass PhysicalDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5501-5501 PhysicalDisease疾病或综合症subclass

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 数量 是 疾病或综合症instance
(domain diseaseIncubation 1 DiseaseOrSyndrome) WMD.kif 1521-1521 疾病孵化 的 1 数量 是 疾病或综合症instance
(domain diseaseMortality 1 DiseaseOrSyndrome) WMD.kif 884-884 疾病死亡率 的 1 数量 是 疾病或综合症instance
(domain diseaseSymptom 1 DiseaseOrSyndrome) WMD.kif 870-870 疾病症状 的 1 数量 是 疾病或综合症instance
(domain diseaseSymptom 2 DiseaseOrSyndrome) WMD.kif 871-871 疾病症状 的 2 数量 是 疾病或综合症instance
(domain diseaseTreatment 1 DiseaseOrSyndrome) WMD.kif 928-928 疾病治疗 的 1 数量 是 疾病或综合症instance
(domain medicine 2 DiseaseOrSyndrome) VirusProteinAndCellPart.kif 743-743 medicine 的 2 数量 是 疾病或综合症instance
(domain pathologicSymptom 1 DiseaseOrSyndrome) Merge.kif 10322-10322 pathologicSymptom 的 1 数量 是 疾病或综合症instance
(domain sideEffect 2 DiseaseOrSyndrome) WMD.kif 1531-1531 副作用 的 2 数量 是 疾病或综合症instance

antecedent
-------------------------


(=>
    (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 2121-2134
(=>
    (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 12174-12187
(=>
    (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 12147-12160
(=>
    (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 10704-10717
(=>
    (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 774-787

consequent
-------------------------


(=>
    (and
        (instance ?PATH PathologicProcess)
        (experiencer ?PATH ?ORG))
    (exists (?PART ?DISEASE)
        (and
            (part ?PART ?ORG)
            (instance ?DISEASE DiseaseOrSyndrome)
            (attribute ?PART ?DISEASE))))
Merge.kif 10307-10315
(=>
    (and
        (instance ?R RecoveringFromIllness)
        (experiencer ?R ?A))
    (exists (?D)
        (and
            (instance ?D DiseaseOrSyndrome)
            (holdsDuring
                (BeginFn
                    (WhenFn ?T))
                (attribute ?A ?D))
            (holdsDuring
                (EndFn
                    (WhenFn ?T))
                (not
                    (attribute ?A ?D))))))
Mid-level-ontology.kif 5930-5943
(=>
    (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 5618-5631
(=>
    (and
        (instance ?W SickLeave)
        (agent ?W ?PERSON))
    (exists (?S)
        (and
            (instance ?S DiseaseOrSyndrome)
            (refers ?W ?S))))
Mid-level-ontology.kif 19806-19813
(=>
    (attribute ?X Healthy)
    (not
        (exists (?Y)
            (and
                (instance ?Y DiseaseOrSyndrome)
                (attribute ?X ?Y)))))
Mid-level-ontology.kif 29686-29692
(=>
    (instance ?A Ambulance)
    (hasPurpose ?A
        (exists (?P ?T)
            (and
                (instance ?P Human)
                (or
                    (attribute ?P DiseaseOrSyndrome)
                    (exists (?I)
                        (and
                            (instance ?I Injuring)
                            (experiencer ?I ?H)
                            (before ?I ?T))))
                (instance ?T Transportation)
                (instrument ?T ?A)
                (patient ?T ?H)))))
Transportation.kif 1914-1929


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