TreeView Knowledge Base Browser - AutoImmuneDisorder

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2195-2196
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2194-2194	Auto-immune disease is a subclass of pathologic process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2311-2311	Addison's disease is a subclass of auto-immune disease
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2413-2413	Autoimmune vasculitis is a subclass of auto-immune disease
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2706-2706	Coeliac disease is a subclass of auto-immune disease
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2323-2323	Graves' disease is a subclass of auto-immune disease
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2369-2369	Hashimoto's thyroiditis is a subclass of auto-immune disease
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2276-2276	Inflammatory bowel disease is a subclass of auto-immune disease
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2258-2258	Lupus is a subclass of auto-immune disease
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2247-2247	MS is a subclass of auto-immune disease
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2399-2399	Myasthenia gravis is a subclass of auto-immune disease
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2684-2684	Pernicious anemia is a subclass of auto-immune disease
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2241-2241	Psoriasis is a subclass of auto-immune disease
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2224-2224	Rheumatoid arthritis is a subclass of auto-immune disease
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5502-5502	Septic shock is a subclass of auto-immune disease
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2353-2353	Sjogrens syndrome is a subclass of auto-immune disease
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2198-2198
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2197-2197

antecedent

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 2200-2216

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

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2149-2154	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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4614-4619	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 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

KB Term:			Term intersection

English Word: