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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DiseaseOrSyndrome
DiseaseOrSyndrome

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 16780-16783
(subclass DiseaseOrSyndrome BiologicalAttribute) Merge.kif 16779-16779 subclass DiseaseOrSyndrome and BiologicalAttribute

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


(contraryAttribute Healthy DiseaseOrSyndrome) Mid-level-ontology.kif 28427-28427 contraryAttribute Healthy and DiseaseOrSyndrome
(instance Cancer DiseaseOrSyndrome) Mid-level-ontology.kif 6110-6110 instance Cancer and DiseaseOrSyndrome
(instance Diarrhea DiseaseOrSyndrome) Mid-level-ontology.kif 6017-6017 instance Diarrhea and DiseaseOrSyndrome
(instance Emphysema DiseaseOrSyndrome) Mid-level-ontology.kif 6022-6022 instance Emphysema and DiseaseOrSyndrome
(instance Fever DiseaseOrSyndrome) Mid-level-ontology.kif 6035-6035 instance Fever and DiseaseOrSyndrome
(instance Gastroenteritis DiseaseOrSyndrome) WMD.kif 1010-1010 instance Gastroenteritis and DiseaseOrSyndrome
(instance Goiter DiseaseOrSyndrome) Mid-level-ontology.kif 6050-6050 instance Goiter and DiseaseOrSyndrome
(instance HivAids DiseaseOrSyndrome) People.kif 478-478 instance HivAids and DiseaseOrSyndrome
(instance Paralysis DiseaseOrSyndrome) WMD.kif 1024-1024 instance Paralysis and DiseaseOrSyndrome
(subclass AcquiredImmunoDeficiencySyndrome DiseaseOrSyndrome) WMD.kif 1254-1254 subclass AcquiredImmunoDeficiencySyndrome and DiseaseOrSyndrome
(subclass Disability DiseaseOrSyndrome) Mid-level-ontology.kif 17529-17529 subclass Disability and DiseaseOrSyndrome
(subclass InfectiousDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5980-5980 subclass InfectiousDisease and DiseaseOrSyndrome
(subclass LifeThreateningDisease DiseaseOrSyndrome) WMD.kif 978-978 subclass LifeThreateningDisease and DiseaseOrSyndrome
(subclass NonspecificDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5962-5962 subclass NonspecificDisease and DiseaseOrSyndrome
(subclass PsychologicalDysfunction DiseaseOrSyndrome) Merge.kif 16865-16865 subclass PsychologicalDysfunction and DiseaseOrSyndrome
(subclass TyphoidFever DiseaseOrSyndrome) WMD.kif 1269-1269 subclass TyphoidFever and DiseaseOrSyndrome
(termFormat ChineseLanguage DiseaseOrSyndrome "疾病或综合症") chinese_format.kif 1261-1261 termFormat ChineseLanguage, DiseaseOrSyndrome and "疾病或综合症"
(termFormat EnglishLanguage DiseaseOrSyndrome "disease or syndrome") english_format.kif 1748-1748 termFormat EnglishLanguage, DiseaseOrSyndrome and "disease or syndrome"

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


(domain biochemicalAgentSyndrome 2 DiseaseOrSyndrome) WMD.kif 757-757 domain biochemicalAgentSyndrome, 2 and DiseaseOrSyndrome
(domain diseaseIncubation 1 DiseaseOrSyndrome) WMD.kif 1421-1421 domain diseaseIncubation, 1 and DiseaseOrSyndrome
(domain diseaseMortality 1 DiseaseOrSyndrome) WMD.kif 846-846 domain diseaseMortality, 1 and DiseaseOrSyndrome
(domain diseaseSymptom 1 DiseaseOrSyndrome) WMD.kif 832-832 domain diseaseSymptom, 1 and DiseaseOrSyndrome
(domain diseaseSymptom 2 DiseaseOrSyndrome) WMD.kif 833-833 domain diseaseSymptom, 2 and DiseaseOrSyndrome
(domain diseaseTreatment 1 DiseaseOrSyndrome) WMD.kif 890-890 domain diseaseTreatment, 1 and DiseaseOrSyndrome
(domain sideEffect 2 DiseaseOrSyndrome) WMD.kif 1431-1431 domain sideEffect, 2 and DiseaseOrSyndrome

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 9680-9688
(=>
    (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