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 功能失常。") Merge.kif 18590-18592
(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 18586-18589
(subclass DiseaseOrSyndrome BiologicalAttribute) Merge.kif 18585-18585

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


(contraryAttribute Healthy DiseaseOrSyndrome) Mid-level-ontology.kif 28350-28350
(instance Cancer DiseaseOrSyndrome) Mid-level-ontology.kif 6110-6110
(instance Diarrhea DiseaseOrSyndrome) Mid-level-ontology.kif 6017-6017
(instance Emphysema DiseaseOrSyndrome) Mid-level-ontology.kif 6022-6022
(instance Fever DiseaseOrSyndrome) Mid-level-ontology.kif 6035-6035
(instance Gastroenteritis DiseaseOrSyndrome) WMD.kif 1001-1001
(instance Goiter DiseaseOrSyndrome) Mid-level-ontology.kif 6050-6050
(instance HivAids DiseaseOrSyndrome) People.kif 478-478
(instance Paralysis DiseaseOrSyndrome) WMD.kif 1015-1015
(subclass AcquiredImmunoDeficiencySyndrome DiseaseOrSyndrome) WMD.kif 1243-1243
(subclass Disability DiseaseOrSyndrome) Mid-level-ontology.kif 17470-17470
(subclass InfectiousDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5980-5980
(subclass LifeThreateningDisease DiseaseOrSyndrome) WMD.kif 969-969
(subclass NonspecificDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5962-5962
(subclass PsychologicalDysfunction DiseaseOrSyndrome) Merge.kif 18692-18692
(subclass TyphoidFever DiseaseOrSyndrome) WMD.kif 1258-1258
(termFormat ChineseLanguage DiseaseOrSyndrome "疾病或综合症") chinese_format.kif 1261-1261
(termFormat EnglishLanguage DiseaseOrSyndrome "disease or syndrome") english_format.kif 948-948
(termFormat FrenchLanguage DiseaseOrSyndrome "maladie ou syndrome") french_format.kif 939-939
(termFormat Hindi DiseaseOrSyndrome "roga yaa lakshaNa") terms-hindi.txt 475-475
(termFormat ItalianLanguage DiseaseOrSyndrome "MalattiaOSindrome") terms-it.txt 476-476
(termFormat PortugueseLanguage DiseaseOrSyndrome "Doenca ou Sindrome") portuguese_format.kif 891-891
(termFormat cb DiseaseOrSyndrome "balatian") terms-cb.txt 480-480
(termFormat cz DiseaseOrSyndrome "disease or syndrome") terms-cz.txt 514-514

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 756-756
(domain diseaseIncubation 1 DiseaseOrSyndrome) WMD.kif 1410-1410
(domain diseaseMortality 1 DiseaseOrSyndrome) WMD.kif 839-839
(domain diseaseSymptom 1 DiseaseOrSyndrome) WMD.kif 825-825
(domain diseaseSymptom 2 DiseaseOrSyndrome) WMD.kif 826-826
(domain diseaseTreatment 1 DiseaseOrSyndrome) WMD.kif 881-881
(domain sideEffect 2 DiseaseOrSyndrome) WMD.kif 1420-1420

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 2621-2634

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


(=>
    (and
        (instance ?PATH PathologicProcess)
        (experiencer ?PATH ?ORG))
    (exists (?PART ?DISEASE)
        (and
            (part ?PART ?ORG)
            (instance ?DISEASE DiseaseOrSyndrome)
            (attribute ?PART ?DISEASE))))
Merge.kif 10398-10406
(=>
    (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 1843-1858


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