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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DiseaseOrSyndrome

 Sigma KEE - DiseaseOrSyndrome
DiseaseOrSyndrome(MalattiaOSindrome)

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 18212-18215
(subclass DiseaseOrSyndrome BiologicalAttribute) Merge.kif 18211-18211 MalattiaOSindrome è una sottoclasse di AttributoBiologico

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


(instance Anemia DiseaseOrSyndrome) Medicine.kif 138-138 Anemia è un' istanza di MalattiaOSindrome
(instance Asthma DiseaseOrSyndrome) Medicine.kif 3395-3395 Asthma è un' istanza di MalattiaOSindrome
(instance Bedridden DiseaseOrSyndrome) Mid-level-ontology.kif 11035-11035 Bedridden è un' istanza di MalattiaOSindrome
(instance Beriberi DiseaseOrSyndrome) Medicine.kif 2468-2468 Beriberi è un' istanza di MalattiaOSindrome
(instance BoneFracture DiseaseOrSyndrome) Medicine.kif 6122-6122 BoneFracture è un' istanza di MalattiaOSindrome
(instance BrainDead DiseaseOrSyndrome) Medicine.kif 5175-5175 BrainDead è un' istanza di MalattiaOSindrome
(instance Bruise DiseaseOrSyndrome) Medicine.kif 412-412 Bruise è un' istanza di MalattiaOSindrome
(instance Cancer DiseaseOrSyndrome) Mid-level-ontology.kif 6292-6292 Cancer è un' istanza di MalattiaOSindrome
(instance CatastrophicBloodLoss DiseaseOrSyndrome) Medicine.kif 5946-5946 CatastrophicBloodLoss è un' istanza di MalattiaOSindrome
(instance ChronicFatigueSyndrome DiseaseOrSyndrome) Medicine.kif 1479-1479 ChronicFatigueSyndrome è un' istanza di MalattiaOSindrome
(instance ChronicObstructivePulmonaryDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5956-5956 ChronicObstructivePulmonaryDisease è un' istanza di MalattiaOSindrome
(instance Coma DiseaseOrSyndrome) Medicine.kif 5204-5204 Coma è un' istanza di MalattiaOSindrome
(instance Diabetes DiseaseOrSyndrome) Medicine.kif 1383-1383 Diabetes è un' istanza di MalattiaOSindrome
(instance Diarrhea DiseaseOrSyndrome) Mid-level-ontology.kif 5951-5951 Diarrhea è un' istanza di MalattiaOSindrome
(instance Dizzy DiseaseOrSyndrome) Mid-level-ontology.kif 16406-16406 Dizzy è un' istanza di MalattiaOSindrome
(instance Eczema DiseaseOrSyndrome) Medicine.kif 4361-4361 Eczema è un' istanza di MalattiaOSindrome
(instance Fever DiseaseOrSyndrome) Mid-level-ontology.kif 6156-6156 Fever è un' istanza di MalattiaOSindrome
(instance Gastroenteritis DiseaseOrSyndrome) WMD.kif 1105-1105 Gastroenteritis è un' istanza di MalattiaOSindrome
(instance Goiter DiseaseOrSyndrome) Mid-level-ontology.kif 6171-6171 Goiter è un' istanza di MalattiaOSindrome
(instance HeartDisease DiseaseOrSyndrome) Medicine.kif 5718-5718 HeartDisease è un' istanza di MalattiaOSindrome
(instance HighBloodPressure DiseaseOrSyndrome) Mid-level-ontology.kif 10463-10463 HighBloodPressure è un' istanza di MalattiaOSindrome
(instance HivAids DiseaseOrSyndrome) People.kif 475-475 HivAids è un' istanza di MalattiaOSindrome
(instance Hyperferritinemia DiseaseOrSyndrome) Medicine.kif 4930-4930 Hyperferritinemia è un' istanza di MalattiaOSindrome
(instance Hypersalivation DiseaseOrSyndrome) Medicine.kif 5320-5320 Hypersalivation è un' istanza di MalattiaOSindrome
(instance Hyperthermia DiseaseOrSyndrome) Medicine.kif 677-677 Hyperthermia è un' istanza di MalattiaOSindrome

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 Il numero 2 argomenti di biochemicalAgentSyndrome è un istanza di MalattiaOSindrome
(domain diseaseCandidate 2 DiseaseOrSyndrome) Medicine.kif 1933-1933 Il numero 2 argomenti di diseaseCandidate è un istanza di MalattiaOSindrome
(domain diseaseIncubation 1 DiseaseOrSyndrome) WMD.kif 1530-1530 Il numero 1 argomenti di diseaseIncubation è un istanza di MalattiaOSindrome
(domain diseaseMedicine 1 DiseaseOrSyndrome) WMD.kif 932-932 Il numero 1 argomenti di diseaseMedicine è un istanza di MalattiaOSindrome
(domain diseaseMortality 1 DiseaseOrSyndrome) WMD.kif 885-885 Il numero 1 argomenti di diseaseMortality è un istanza di MalattiaOSindrome
(domain diseaseSymptom 1 DiseaseOrSyndrome) WMD.kif 870-870 Il numero 1 argomenti di diseaseSymptom è un istanza di MalattiaOSindrome
(domain diseaseSymptom 2 DiseaseOrSyndrome) WMD.kif 871-871 Il numero 2 argomenti di diseaseSymptom è un istanza di MalattiaOSindrome
(domain diseaseTreatment 1 DiseaseOrSyndrome) Medicine.kif 5818-5818 Il numero 1 argomenti di diseaseTreatment è un istanza di MalattiaOSindrome
(domain medicine 2 DiseaseOrSyndrome) Mid-level-ontology.kif 9641-9641 Il numero 2 argomenti di medicine è un istanza di MalattiaOSindrome
(domain pathologicSymptom 1 DiseaseOrSyndrome) Merge.kif 10409-10409 Il numero 1 argomenti di pathologicSymptom è un istanza di MalattiaOSindrome
(domain sideEffect 2 DiseaseOrSyndrome) WMD.kif 1540-1540 Il numero 2 argomenti di sideEffect è un istanza di MalattiaOSindrome

antecedent
-------------------------


(=>
    (and
        (connectedBodyPartTypes ?P1 ?P2 ?O)
        (instance ?OC ?O)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (exists (?PC1 ?PC2)
        (and
            (instance ?PC1 ?P1)
            (instance ?PC2 ?P2)
            (not
                (equal ?PC1 ?PC2))
            (part ?PC1 ?OC)
            (part ?PC2 ?OC)
            (connected ?PC1 ?PC2))))		 Anatomy.kif 32-46
(=>
    (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 2162-2175
(=>
    (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 12709-12722
(=>
    (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 12682-12695
(=>
    (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 11198-11211
(=>
    (and
        (instance ?R CervicalVertebraBone)
        (part ?R ?H)
        (instance ?H Human)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (exists (?S)
        (and
            (instance ?S CervicalVertebraBone)
            (not
                (equal ?S ?R))
            (part ?S ?H)
            (connectedBodyPart ?S ?R))))		 Anatomy.kif 561-574
(=>
    (and
        (instance ?R FalseRibBone)
        (part ?R ?H)
        (instance ?H Human)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (not
        (exists (?S)
            (and
                (instance ?S Sternum)
                (part ?S ?H)
                (connectedBodyPart ?S ?R)))))		 Anatomy.kif 505-517
(=>
    (and
        (instance ?R LumbarVertebraBone)
        (part ?R ?H)
        (instance ?H Human)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (exists (?S)
        (and
            (instance ?S LumbarVertebraBone)
            (not
                (equal ?S ?R))
            (part ?S ?H)
            (connectedBodyPart ?S ?R))))		 Anatomy.kif 601-614
(=>
    (and
        (instance ?R ThoracicVertebraBone)
        (part ?R ?H)
        (instance ?H Human)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (exists (?S)
        (and
            (instance ?S ThoracicVertebraBone)
            (not
                (equal ?S ?R))
            (part ?S ?H)
            (connectedBodyPart ?S ?R))))		 Anatomy.kif 669-682
(=>
    (and
        (instance ?R TrueRibBone)
        (part ?R ?H)
        (instance ?H Human)
        (not
            (attribute ?H DiseaseOrSyndrome)))
    (exists (?S)
        (and
            (instance ?S Sternum)
            (part ?S ?H)
            (connectedBodyPart ?S ?R))))		 Anatomy.kif 492-503
(=>
    (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 809-822
(=>
    (and
        (typicalBloodVolume ?M
            (MeasureFn ?N ?U))
        (instance ?MI ?M)
        (holdsDuring ?T
            (and
                (not
                    (attribute ?H DiseaseOrSyndrome))
                (bloodVolume ?H
                    (MeasureFn ?N2 ?U)))))
    (approximateValue ?N2 ?N))		 Medicine.kif 5933-5944

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


(=>
    (and
        (instance ?E Epidemic)
        (involvedInEvent ?E ?H))
    (or
        (and
            (instance ?D DiseaseOrSyndrome)
            (attribute ?H ?D))
        (exists (?P)
            (and
                (instance ?P PathologicProcess)
                (experiencer ?P ?H)
                (subProcess ?P ?E)))))		 Medicine.kif 3517-3529
(=>
    (and
        (instance ?M Misdiagnosing)
        (agent ?M ?D)
        (refers ?M ?P)
        (instance ?P Human))
    (exists (?DIS)
        (and
            (containsFormula ?M
                (attribute ?P ?DIS))
            (instance ?DIS DiseaseOrSyndrome)
            (believes ?D
                (attribute ?P ?DIS))
            (truth
                (attribute ?P ?DIS) False))))		 Medicine.kif 4195-4210
(=>
    (and
        (instance ?PATH PathologicProcess)
        (experiencer ?PATH ?ORG))
    (exists (?PART ?DISEASE)
        (and
            (part ?PART ?ORG)
            (instance ?DISEASE DiseaseOrSyndrome)
            (attribute ?PART ?DISEASE))))		 Merge.kif 10394-10402
(=>
    (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 6252-6265
(=>
    (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 5932-5945
(=>
    (and
        (instance ?W SickLeave)
        (agent ?W ?PERSON))
    (exists (?S)
        (and
            (instance ?S DiseaseOrSyndrome)
            (refers ?W ?S))))		 Mid-level-ontology.kif 20459-20466
(=>
    (attribute ?X Healthy)
    (not
        (exists (?Y)
            (and
                (instance ?Y DiseaseOrSyndrome)
                (attribute ?X ?Y)))))		 Mid-level-ontology.kif 30284-30290
(=>
    (instance ?A Ambulance)
    (hasPurpose ?A
        (exists (?P ?T)
            (and
                (instance ?P Human)
                (or
                    (attribute ?P DiseaseOrSyndrome)
                    (exists (?I ?H)
                        (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