| 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 | AutoImmuneDisorder 是 病理过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2224-2224 | RheumatoidArthritis 是 AutoImmuneDisorder 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2241-2241 | Psoriasis 是 AutoImmuneDisorder 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2247-2247 | MultipleSclerosis 是 AutoImmuneDisorder 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2258-2258 | Lupus 是 AutoImmuneDisorder 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2276-2276 | InflammatoryBowelDisease 是 AutoImmuneDisorder 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2311-2311 | AddisonsDisease 是 AutoImmuneDisorder 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2323-2323 | GravesDisease 是 AutoImmuneDisorder 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2353-2353 | SjogrensSyndrome 是 AutoImmuneDisorder 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2369-2369 | HashimotosThyroiditis 是 AutoImmuneDisorder 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2399-2399 | MyastheniaGravis 是 AutoImmuneDisorder 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2413-2413 | AutoimmuneVasculitis 是 AutoImmuneDisorder 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2684-2684 | PerniciousAnemia 是 AutoImmuneDisorder 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2706-2706 | CeliacDisease 是 AutoImmuneDisorder 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5502-5502 | Sepsis 是 AutoImmuneDisorder 的 subclass |
|
|