| AutoImmuneDisorder | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2180-2181 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2179-2179 | 子類 AutoImmuneDisorder and PathologicProcess |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2296-2296 | 子類 AddisonsDisease and AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2398-2398 | 子類 AutoimmuneVasculitis and AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2691-2691 | 子類 CeliacDisease and AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2308-2308 | 子類 GravesDisease and AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2354-2354 | 子類 HashimotosThyroiditis and AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2261-2261 | 子類 InflammatoryBowelDisease and AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2243-2243 | 子類 Lupus and AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2232-2232 | 子類 MultipleSclerosis and AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2384-2384 | 子類 MyastheniaGravis and AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2669-2669 | 子類 PerniciousAnemia and AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2226-2226 | 子類 Psoriasis and AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2209-2209 | 子類 RheumatoidArthritis and AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5487-5487 | 子類 Sepsis and AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2338-2338 | 子類 SjogrensSyndrome and AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2183-2183 | 子類 SjogrensSyndrome and AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2182-2182 | 子類 SjogrensSyndrome and AutoImmuneDisorder |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2185-2201 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2134-2139 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4599-4604 |
|
|
|