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 16952-16955
(subclass DiseaseOrSyndrome BiologicalAttribute) Merge.kif 16951-16951

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


(contraryAttribute Healthy DiseaseOrSyndrome) Mid-level-ontology.kif 26506-26506
(instance Cancer DiseaseOrSyndrome) Mid-level-ontology.kif 5516-5516
(instance Diarrhea DiseaseOrSyndrome) Mid-level-ontology.kif 5422-5422
(instance Emphysema DiseaseOrSyndrome) Mid-level-ontology.kif 5427-5427
(instance Fever DiseaseOrSyndrome) Mid-level-ontology.kif 5440-5440
(instance Gastroenteritis DiseaseOrSyndrome) WMD.kif 1043-1043
(instance Goiter DiseaseOrSyndrome) Mid-level-ontology.kif 5455-5455
(instance HivAids DiseaseOrSyndrome) People.kif 478-478
(instance Paralysis DiseaseOrSyndrome) WMD.kif 1057-1057
(instance RespiratoryDistress DiseaseOrSyndrome) VirusProteinAndCellPart.kif 665-665
(subclass AcquiredImmunoDeficiencySyndrome DiseaseOrSyndrome) WMD.kif 1293-1293
(subclass Disability DiseaseOrSyndrome) Mid-level-ontology.kif 16289-16289
(subclass InfectiousDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5385-5385
(subclass LifeThreateningDisease DiseaseOrSyndrome) WMD.kif 1011-1011
(subclass NonspecificDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5367-5367
(subclass PsychologicalDysfunction DiseaseOrSyndrome) Merge.kif 17037-17037
(subclass TyphoidFever DiseaseOrSyndrome) WMD.kif 1308-1308
(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
(domain diseaseIncubation 1 DiseaseOrSyndrome) WMD.kif 1460-1460
(domain diseaseMortality 1 DiseaseOrSyndrome) WMD.kif 879-879
(domain diseaseSymptom 1 DiseaseOrSyndrome) WMD.kif 865-865
(domain diseaseSymptom 2 DiseaseOrSyndrome) WMD.kif 866-866
(domain diseaseTreatment 1 DiseaseOrSyndrome) WMD.kif 923-923
(domain medicine 2 DiseaseOrSyndrome) VirusProteinAndCellPart.kif 672-672
(domain sideEffect 2 DiseaseOrSyndrome) WMD.kif 1470-1470

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 2098-2111
(=>
    (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 9542-9555
(=>
    (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 9515-9528
(=>
    (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 8716-8729
(=>
    (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 753-766

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


(=>
    (and
        (instance ?PATH PathologicProcess)
        (experiencer ?PATH ?ORG))
    (exists (?PART ?DISEASE)
        (and
            (part ?PART ?ORG)
            (instance ?DISEASE DiseaseOrSyndrome)
            (attribute ?PART ?DISEASE))))
Merge.kif 9839-9847
(=>
    (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 5476-5489
(=>
    (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 5404-5416
(=>
    (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