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 17597-17600
(subclass DiseaseOrSyndrome BiologicalAttribute) Merge.kif 17596-17596

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


(instance Bedridden DiseaseOrSyndrome) Mid-level-ontology.kif 10512-10512
(instance Cancer DiseaseOrSyndrome) Mid-level-ontology.kif 5941-5941
(instance ChronicObstructivePulmonaryDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5613-5613
(instance Diarrhea DiseaseOrSyndrome) Mid-level-ontology.kif 5608-5608
(instance Dizzy DiseaseOrSyndrome) Mid-level-ontology.kif 15801-15801
(instance Fever DiseaseOrSyndrome) Mid-level-ontology.kif 5811-5811
(instance Gastroenteritis DiseaseOrSyndrome) WMD.kif 1098-1098
(instance Goiter DiseaseOrSyndrome) Mid-level-ontology.kif 5826-5826
(instance HighBloodPressure DiseaseOrSyndrome) Mid-level-ontology.kif 9964-9964
(instance HivAids DiseaseOrSyndrome) People.kif 485-485
(instance Paralysis DiseaseOrSyndrome) Mid-level-ontology.kif 5952-5952
(instance Pneumonia DiseaseOrSyndrome) Mid-level-ontology.kif 5845-5845
(instance RespiratoryDistress DiseaseOrSyndrome) VirusProteinAndCellPart.kif 736-736
(instance SexualDysfunction DiseaseOrSyndrome) Mid-level-ontology.kif 6048-6048
(range DeadOrMissingBodyPartFn DiseaseOrSyndrome) Merge.kif 17624-17624
(range ImpairedBodyPartFn DiseaseOrSyndrome) Merge.kif 17604-17604
(subclass AcquiredImmunoDeficiencySyndrome DiseaseOrSyndrome) WMD.kif 1332-1332
(subclass ChronicDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5563-5563
(subclass Disability DiseaseOrSyndrome) Mid-level-ontology.kif 19075-19075
(subclass FungalDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5531-5531
(subclass InfectiousDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5483-5483
(subclass LifeThreateningDisease DiseaseOrSyndrome) WMD.kif 1016-1016
(subclass NonspecificDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5457-5457
(subclass ParasiticDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5518-5518
(subclass PhysicalDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5472-5472

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 1520-1520
(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 10056-10056
(domain sideEffect 2 DiseaseOrSyndrome) WMD.kif 1530-1530

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 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 12144-12157
(=>
    (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 12117-12130
(=>
    (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 10674-10687
(=>
    (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 10041-10049
(=>
    (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 5901-5914
(=>
    (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 5589-5602
(=>
    (and
        (instance ?W SickLeave)
        (agent ?W ?PERSON))
    (exists (?S)
        (and
            (instance ?S DiseaseOrSyndrome)
            (refers ?W ?S))))
Mid-level-ontology.kif 19756-19763
(=>
    (attribute ?X Healthy)
    (not
        (exists (?Y)
            (and
                (instance ?Y DiseaseOrSyndrome)
                (attribute ?X ?Y)))))
Mid-level-ontology.kif 29635-29641
(=>
    (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 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