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 2195-2196
(subclass AutoImmuneDisorder PathologicProcess)	Medicine.kif 2194-2194	AutoImmuneDisorder は病理学的プロセスの subclass では %n

appearance as argument number 2

(subclass AddisonsDisease AutoImmuneDisorder)	Medicine.kif 2311-2311	AddisonsDisease は AutoImmuneDisorder の subclass では %n
(subclass AutoimmuneVasculitis AutoImmuneDisorder)	Medicine.kif 2413-2413	AutoimmuneVasculitis は AutoImmuneDisorder の subclass では %n
(subclass CeliacDisease AutoImmuneDisorder)	Medicine.kif 2706-2706	CeliacDisease は AutoImmuneDisorder の subclass では %n
(subclass GravesDisease AutoImmuneDisorder)	Medicine.kif 2323-2323	GravesDisease は AutoImmuneDisorder の subclass では %n
(subclass HashimotosThyroiditis AutoImmuneDisorder)	Medicine.kif 2369-2369	HashimotosThyroiditis は AutoImmuneDisorder の subclass では %n
(subclass InflammatoryBowelDisease AutoImmuneDisorder)	Medicine.kif 2276-2276	InflammatoryBowelDisease は AutoImmuneDisorder の subclass では %n
(subclass Lupus AutoImmuneDisorder)	Medicine.kif 2258-2258	Lupus は AutoImmuneDisorder の subclass では %n
(subclass MultipleSclerosis AutoImmuneDisorder)	Medicine.kif 2247-2247	MultipleSclerosis は AutoImmuneDisorder の subclass では %n
(subclass MyastheniaGravis AutoImmuneDisorder)	Medicine.kif 2399-2399	MyastheniaGravis は AutoImmuneDisorder の subclass では %n
(subclass PerniciousAnemia AutoImmuneDisorder)	Medicine.kif 2684-2684	PerniciousAnemia は AutoImmuneDisorder の subclass では %n
(subclass Psoriasis AutoImmuneDisorder)	Medicine.kif 2241-2241	Psoriasis は AutoImmuneDisorder の subclass では %n
(subclass RheumatoidArthritis AutoImmuneDisorder)	Medicine.kif 2224-2224	RheumatoidArthritis は AutoImmuneDisorder の subclass では %n
(subclass Sepsis AutoImmuneDisorder)	Medicine.kif 5502-5502	Sepsis は AutoImmuneDisorder の subclass では %n
(subclass SjogrensSyndrome AutoImmuneDisorder)	Medicine.kif 2353-2353	SjogrensSyndrome は AutoImmuneDisorder の subclass では %n
(termFormat EnglishLanguage AutoImmuneDisorder "auto-immune disease")	Medicine.kif 2198-2198
(termFormat EnglishLanguage AutoImmuneDisorder "auto-immune disorder")	Medicine.kif 2197-2197

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 2200-2216

工程は AutoImmuneDisorder の instance では %n 認識エージェントが工程を experiences %n{ない}
オブジェクト工程 and オブジェクトオブジェクトは Antibody の instance では %n オブジェクトは認識エージェントの part では %n オブジェクトは細胞の instance では %n オブジェクトは認識エージェントの part では %n 工程は破壊の instance では %n オブジェクトは工程の instrument では %n 認識エージェントが工程は破壊の instance では %n オブジェクトは工程の instrument では %n を desire ない

consequent

(=> (attribute ?H DiabetesType1) (exists (?A) (and (instance ?A AutoImmuneDisorder) (experiencer ?A ?H))))	Medicine.kif 2149-2154	DiabetesType1 は AutonomousAgent の attribute では %n 工程工程は AutoImmuneDisorder の instance では %n AutonomousAgent が工程を experiences %n{ない}
(=> (subclass ?I Immunosuppressive) (hasPurpose ?I (and (instance ?AID AutoImmuneDisorder) (diseaseMedicine ?AID ?I ?P))))	Medicine.kif 4614-4619	物理は Immunosuppressive の subclass では %n 物理はエンティティーは AutoImmuneDisorder の instance では %n diseaseMedicine エンティティー, 物理 and エンティティーの目的 %n{ない}

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: