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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DiseaseOrSyndrome

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 17946-17949
(subclass DiseaseOrSyndrome BiologicalAttribute) Merge.kif 17945-17945

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


(instance Bedridden DiseaseOrSyndrome) Mid-level-ontology.kif 10591-10591
(instance Cancer DiseaseOrSyndrome) Mid-level-ontology.kif 5999-5999
(instance ChronicObstructivePulmonaryDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5663-5663
(instance Diarrhea DiseaseOrSyndrome) Mid-level-ontology.kif 5658-5658
(instance Dizzy DiseaseOrSyndrome) Mid-level-ontology.kif 15902-15902
(instance Fever DiseaseOrSyndrome) Mid-level-ontology.kif 5863-5863
(instance Gastroenteritis DiseaseOrSyndrome) WMD.kif 1099-1099
(instance Goiter DiseaseOrSyndrome) Mid-level-ontology.kif 5878-5878
(instance HighBloodPressure DiseaseOrSyndrome) Mid-level-ontology.kif 10040-10040
(instance HivAids DiseaseOrSyndrome) People.kif 501-501
(instance Paralysis DiseaseOrSyndrome) Mid-level-ontology.kif 6010-6010
(instance Pneumonia DiseaseOrSyndrome) Mid-level-ontology.kif 5897-5897
(instance RespiratoryDistress DiseaseOrSyndrome) VirusProteinAndCellPart.kif 736-736
(instance SexualDysfunction DiseaseOrSyndrome) Mid-level-ontology.kif 6111-6111
(range DeadOrMissingBodyPartFn DiseaseOrSyndrome) Merge.kif 17973-17973
(range ImpairedBodyPartFn DiseaseOrSyndrome) Merge.kif 17953-17953
(subclass AcquiredImmunoDeficiencySyndrome DiseaseOrSyndrome) WMD.kif 1333-1333
(subclass ChronicDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5613-5613
(subclass Disability DiseaseOrSyndrome) Mid-level-ontology.kif 19186-19186
(subclass FungalDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5581-5581
(subclass InfectiousDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5533-5533
(subclass LifeThreateningDisease DiseaseOrSyndrome) WMD.kif 1017-1017
(subclass NonspecificDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5507-5507
(subclass ParasiticDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5568-5568
(subclass PhysicalDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5522-5522

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 762-762
(domain diseaseIncubation 1 DiseaseOrSyndrome) WMD.kif 1521-1521
(domain diseaseMortality 1 DiseaseOrSyndrome) WMD.kif 884-884
(domain diseaseSymptom 1 DiseaseOrSyndrome) WMD.kif 870-870
(domain diseaseSymptom 2 DiseaseOrSyndrome) WMD.kif 871-871
(domain diseaseTreatment 1 DiseaseOrSyndrome) WMD.kif 928-928
(domain medicine 2 DiseaseOrSyndrome) VirusProteinAndCellPart.kif 743-743
(domain pathologicSymptom 1 DiseaseOrSyndrome) Merge.kif 10327-10327
(domain sideEffect 2 DiseaseOrSyndrome) WMD.kif 1531-1531

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 2125-2138
(=>
    (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 12229-12242
(=>
    (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 12202-12215
(=>
    (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 10753-10766
(=>
    (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 776-789

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


(=>
    (and
        (instance ?PATH PathologicProcess)
        (experiencer ?PATH ?ORG))
    (exists (?PART ?DISEASE)
        (and
            (part ?PART ?ORG)
            (instance ?DISEASE DiseaseOrSyndrome)
            (attribute ?PART ?DISEASE))))
Merge.kif 10312-10320
(=>
    (and
        (instance ?R RecoveringFromIllness)
        (experiencer ?R ?A))
    (exists (?D)
        (and
            (instance ?D DiseaseOrSyndrome)
            (holdsDuring
                (BeginFn
                    (WhenFn ?D))
                (attribute ?A ?D))
            (holdsDuring
                (EndFn
                    (WhenFn ?D))
                (not
                    (attribute ?A ?D))))))
Mid-level-ontology.kif 5959-5972
(=>
    (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 5639-5652
(=>
    (and
        (instance ?W SickLeave)
        (agent ?W ?PERSON))
    (exists (?S)
        (and
            (instance ?S DiseaseOrSyndrome)
            (refers ?W ?S))))
Mid-level-ontology.kif 19867-19874
(=>
    (attribute ?X Healthy)
    (not
        (exists (?Y)
            (and
                (instance ?Y DiseaseOrSyndrome)
                (attribute ?X ?Y)))))
Mid-level-ontology.kif 29788-29794
(=>
    (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 1906-1921


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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