AutoImmuneDisorder - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AutoImmuneDisorder EnglishLanguage "A condition in which the immune system attacks healthy parts of the body in error.")	Medicine.kif 2183-2184
(subclass AutoImmuneDisorder PathologicProcess)	Medicine.kif 2182-2182	Auto-immune disease is a subclass of pathologic process

appearance as argument number 2

(subclass AddisonsDisease AutoImmuneDisorder)	Medicine.kif 2299-2299	Addison's disease is a subclass of auto-immune disease
(subclass AutoimmuneVasculitis AutoImmuneDisorder)	Medicine.kif 2401-2401	Autoimmune vasculitis is a subclass of auto-immune disease
(subclass CeliacDisease AutoImmuneDisorder)	Medicine.kif 2694-2694	Coeliac disease is a subclass of auto-immune disease
(subclass GravesDisease AutoImmuneDisorder)	Medicine.kif 2311-2311	Graves' disease is a subclass of auto-immune disease
(subclass HashimotosThyroiditis AutoImmuneDisorder)	Medicine.kif 2357-2357	Hashimoto's thyroiditis is a subclass of auto-immune disease
(subclass InflammatoryBowelDisease AutoImmuneDisorder)	Medicine.kif 2264-2264	Inflammatory bowel disease is a subclass of auto-immune disease
(subclass Lupus AutoImmuneDisorder)	Medicine.kif 2246-2246	Lupus is a subclass of auto-immune disease
(subclass MultipleSclerosis AutoImmuneDisorder)	Medicine.kif 2235-2235	MS is a subclass of auto-immune disease
(subclass MyastheniaGravis AutoImmuneDisorder)	Medicine.kif 2387-2387	Myasthenia gravis is a subclass of auto-immune disease
(subclass PerniciousAnemia AutoImmuneDisorder)	Medicine.kif 2672-2672	Pernicious anemia is a subclass of auto-immune disease
(subclass Psoriasis AutoImmuneDisorder)	Medicine.kif 2229-2229	Psoriasis is a subclass of auto-immune disease
(subclass RheumatoidArthritis AutoImmuneDisorder)	Medicine.kif 2212-2212	Rheumatoid arthritis is a subclass of auto-immune disease
(subclass Sepsis AutoImmuneDisorder)	Medicine.kif 5490-5490	Septic shock is a subclass of auto-immune disease
(subclass SjogrensSyndrome AutoImmuneDisorder)	Medicine.kif 2341-2341	Sjogrens syndrome is a subclass of auto-immune disease
(termFormat EnglishLanguage AutoImmuneDisorder "auto-immune disease")	Medicine.kif 2186-2186	Sjogrens syndrome is a subclass of auto-immune disease
(termFormat EnglishLanguage AutoImmuneDisorder "auto-immune disorder")	Medicine.kif 2185-2185	Sjogrens syndrome is a subclass of auto-immune disease

antecedent

(=>
    (and
        (instance ?AI AutoImmuneDisorder)
        (experiencer ?AI ?H))
    (exists (?A ?D ?C)
        (and
            (instance ?A Antibody)
            (part ?A ?H)
            (instance ?C Cell)
            (part ?C ?H)
            (instance ?D Destruction)
            (instrument ?D ?A)
            (not
                (desires ?H
                    (and
                        (instance ?D Destruction)
                        (instrument ?D ?A)))))))

Medicine.kif 2188-2204

If a process is an instance of auto-immune disease and a cognitive agent experiences the process,
then there exist an object, another process and another object such that the object is an instance of antibody and the object is a part of the cognitive agent and the other object is an instance of cell and the other object is a part of the cognitive agent and the other process is an instance of destruction and the object is an instrument for the other process and the cognitive agent doesn't desire the other process is an instance of destruction and the object is an instrument for the other process

consequent

(=> (attribute ?H DiabetesType1) (exists (?A) (and (instance ?A AutoImmuneDisorder) (experiencer ?A ?H))))	Medicine.kif 2137-2142	If juvenile diabetes is an attribute of an agent, then there exists a process such that the process is an instance of auto-immune disease and the agent experiences the process
(=> (subclass ?I Immunosuppressive) (hasPurpose ?I (and (instance ?AID AutoImmuneDisorder) (diseaseMedicine ?AID ?I ?P))))	Medicine.kif 4602-4607	If a physical is a subclass of immunosuppressant, then the physical has the purpose an entity is an instance of auto-immune disease and the entity is disease treatment the physical for another entity

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

KB Term:			Term intersection

English Word: