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 17504-17507
(subclass DiseaseOrSyndrome BiologicalAttribute) Merge.kif 17503-17503

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


(instance Bedridden DiseaseOrSyndrome) Mid-level-ontology.kif 10410-10410
(instance Cancer DiseaseOrSyndrome) Mid-level-ontology.kif 5943-5943
(instance ChronicObstructivePulmonaryDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5615-5615
(instance Diarrhea DiseaseOrSyndrome) Mid-level-ontology.kif 5610-5610
(instance Dizzy DiseaseOrSyndrome) Mid-level-ontology.kif 15682-15682
(instance Fever DiseaseOrSyndrome) Mid-level-ontology.kif 5813-5813
(instance Gastroenteritis DiseaseOrSyndrome) WMD.kif 1093-1093
(instance Goiter DiseaseOrSyndrome) Mid-level-ontology.kif 5828-5828
(instance HighBloodPressure DiseaseOrSyndrome) Mid-level-ontology.kif 9862-9862
(instance HivAids DiseaseOrSyndrome) People.kif 482-482
(instance Paralysis DiseaseOrSyndrome) Mid-level-ontology.kif 5954-5954
(instance Pneumonia DiseaseOrSyndrome) Mid-level-ontology.kif 5847-5847
(instance RespiratoryDistress DiseaseOrSyndrome) VirusProteinAndCellPart.kif 736-736
(instance SexualDysfunction DiseaseOrSyndrome) Mid-level-ontology.kif 6050-6050
(range DeadOrMissingBodyPartFn DiseaseOrSyndrome) Merge.kif 17531-17531
(range ImpairedBodyPartFn DiseaseOrSyndrome) Merge.kif 17511-17511
(subclass AcquiredImmunoDeficiencySyndrome DiseaseOrSyndrome) WMD.kif 1327-1327
(subclass ChronicDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5565-5565
(subclass Disability DiseaseOrSyndrome) Mid-level-ontology.kif 18956-18956
(subclass FungalDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5533-5533
(subclass InfectiousDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5485-5485
(subclass LifeThreateningDisease DiseaseOrSyndrome) WMD.kif 1011-1011
(subclass NonspecificDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5459-5459
(subclass ParasiticDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5520-5520
(subclass PhysicalDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5474-5474

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 757-757
(domain diseaseIncubation 1 DiseaseOrSyndrome) WMD.kif 1500-1500
(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 743-743
(domain pathologicSymptom 1 DiseaseOrSyndrome) Merge.kif 10020-10020
(domain sideEffect 2 DiseaseOrSyndrome) WMD.kif 1510-1510

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 2100-2113
(=>
    (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 12041-12054
(=>
    (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 12014-12027
(=>
    (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 10572-10585
(=>
    (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 754-767

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


(=>
    (and
        (instance ?PATH PathologicProcess)
        (experiencer ?PATH ?ORG))
    (exists (?PART ?DISEASE)
        (and
            (part ?PART ?ORG)
            (instance ?DISEASE DiseaseOrSyndrome)
            (attribute ?PART ?DISEASE))))
Merge.kif 10005-10013
(=>
    (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 5903-5916
(=>
    (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 5591-5604
(=>
    (and
        (instance ?W SickLeave)
        (agent ?W ?PERSON))
    (exists (?S)
        (and
            (instance ?S DiseaseOrSyndrome)
            (refers ?W ?S))))
Mid-level-ontology.kif 19637-19644
(=>
    (attribute ?X Healthy)
    (not
        (exists (?Y)
            (and
                (instance ?Y DiseaseOrSyndrome)
                (attribute ?X ?Y)))))
Mid-level-ontology.kif 29516-29522
(=>
    (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