No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4614-4619 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2194-2194 | Auto-immune disease is a subclass of pathologic process |
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 2241-2241 | Psoriasis 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 2258-2258 | Lupus 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 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 2323-2323 | Graves' disease 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 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 2399-2399 | Myasthenia gravis 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 2684-2684 | Pernicious anemia 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 5502-5502 | Septic shock is a subclass of auto-immune disease |