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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DiseaseOrSyndrome
DiseaseOrSyndrome(disease or syndrome)AAA, ADA-SCID, ADD, ADHD, ALS, AMD, ARDS, Addison's_disease, Addison's_syndrome, Albers-Schonberg_disease, Aleppo_boil, Alpine_scurvy, American_leishmaniasis, Assam_fever, BSE, Banti's_disease, Banti's_syndrome, Becker_muscular_dystrophy, Bright's_disease, Broca's_aphasia, CF, CJD, CVA, Charcot-Marie-Tooth_disease, Christmas_disease, Cooley's_anaemia, Cooley's_anemia, Creutzfeldt-Jakob_disease, Cupid's_disease, Cupid's_itch, Cushing's_disease, Cushing's_syndrome, DLE, DM, Daltonism, Darier's_disease, Delhi_boil, Down's_syndrome, Down_syndrome, Duchenne's_muscular_dystrophy, Dutch_elm_disease, ED, ENL, Eaton-Lambert_syndrome, Ewing's_sarcoma, Ewing's_tumor, Ewing's_tumour, Fallot's_syndrome, Fallot's_tetralogy, Fanconi's_anaemia...

VerbNet: other_cos-45.4|blur, marvel-31.3|chafe, suffocate-40.7|choke, change_bodily_state-40.8.4|sicken, entity_specific_cos-45.5|deteriorate, entity_specific_cos-45.5|deteriorate, entity_specific_cos-45.5|deteriorate, exist-47.1|languish, entity_specific_cos-45.5|suppurate, other_cos-45.4|blur, marvel-31.3|chafe, suffocate-40.7|choke, marvel-31.3|chafe, other_cos-45.4|blur, exist-47.1|languish, entity_specific_cos-45.5|suppurate, other_cos-45.4|sicken, exist-47.1|languish, other_cos-45.4|sicken, entity_specific_cos-45.5|suppurate, fill-9.8|taint, other_cos-45.4|sicken, exist-47.1|languish,


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 16873-16876
(subclass DiseaseOrSyndrome BiologicalAttribute) Merge.kif 16872-16872 Disease or syndrome is a subclass of biological attribute

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


(contraryAttribute Healthy DiseaseOrSyndrome) Mid-level-ontology.kif 28439-28439 Healthy is the opposite of disease or syndrome
(instance Cancer DiseaseOrSyndrome) Mid-level-ontology.kif 6110-6110 Cancer is an instance of disease or syndrome
(instance Diarrhea DiseaseOrSyndrome) Mid-level-ontology.kif 6017-6017 Diarrhea is an instance of disease or syndrome
(instance Emphysema DiseaseOrSyndrome) Mid-level-ontology.kif 6022-6022 Emphysema is an instance of disease or syndrome
(instance Fever DiseaseOrSyndrome) Mid-level-ontology.kif 6035-6035 Fever is an instance of disease or syndrome
(instance Gastroenteritis DiseaseOrSyndrome) WMD.kif 1010-1010 Gastroenteritis is an instance of disease or syndrome
(instance Goiter DiseaseOrSyndrome) Mid-level-ontology.kif 6050-6050 Goiter is an instance of disease or syndrome
(instance HivAids DiseaseOrSyndrome) People.kif 478-478 Hiv aids is an instance of disease or syndrome
(instance Paralysis DiseaseOrSyndrome) WMD.kif 1024-1024 Paralysis is an instance of disease or syndrome
(subclass AcquiredImmunoDeficiencySyndrome DiseaseOrSyndrome) WMD.kif 1260-1260 Acquired immuno deficiency syndrome is a subclass of disease or syndrome
(subclass Disability DiseaseOrSyndrome) Mid-level-ontology.kif 17530-17530 Disability is a subclass of disease or syndrome
(subclass InfectiousDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5980-5980 Infectious disease is a subclass of disease or syndrome
(subclass LifeThreateningDisease DiseaseOrSyndrome) WMD.kif 978-978 Life threatening disease is a subclass of disease or syndrome
(subclass NonspecificDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5962-5962 Nonspecific disease is a subclass of disease or syndrome
(subclass PsychologicalDysfunction DiseaseOrSyndrome) Merge.kif 16958-16958 Psychological dysfunction is a subclass of disease or syndrome
(subclass TyphoidFever DiseaseOrSyndrome) WMD.kif 1275-1275 Typhoid fever is a subclass of disease or syndrome
(termFormat ChineseLanguage DiseaseOrSyndrome "疾病或综合症") chinese_format.kif 1261-1261
(termFormat EnglishLanguage DiseaseOrSyndrome "disease or syndrome") english_format.kif 1748-1748

appearance as argument number 3
-------------------------


(domain biochemicalAgentSyndrome 2 DiseaseOrSyndrome) WMD.kif 757-757 The number 2 argument of biochemical agent syndrome is an instance of disease or syndrome
(domain diseaseIncubation 1 DiseaseOrSyndrome) WMD.kif 1427-1427 The number 1 argument of disease incubation is an instance of disease or syndrome
(domain diseaseMortality 1 DiseaseOrSyndrome) WMD.kif 846-846 The number 1 argument of disease mortality is an instance of disease or syndrome
(domain diseaseSymptom 1 DiseaseOrSyndrome) WMD.kif 832-832 The number 1 argument of disease symptom is an instance of disease or syndrome
(domain diseaseSymptom 2 DiseaseOrSyndrome) WMD.kif 833-833 The number 2 argument of disease symptom is an instance of disease or syndrome
(domain diseaseTreatment 1 DiseaseOrSyndrome) WMD.kif 890-890 The number 1 argument of disease treatment is an instance of disease or syndrome
(domain sideEffect 2 DiseaseOrSyndrome) WMD.kif 1437-1437 The number 2 argument of side effect is an instance of disease or syndrome

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)
            (patient ?P ?W))))
Mid-level-ontology.kif 2616-2629

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


(=>
    (and
        (instance ?PATH PathologicProcess)
        (experiencer ?PATH ?ORG))
    (exists (?PART ?DISEASE)
        (and
            (part ?PART ?ORG)
            (instance ?DISEASE DiseaseOrSyndrome)
            (attribute ?PART ?DISEASE))))
Merge.kif 9771-9779
(=>
    (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 6071-6083
(=>
    (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 5999-6011
(=>
    (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 1896-1911


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners