|
|
   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 | AutoImmuneDisorder est une sous-classe de processus pathologique |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2311-2311 | AddisonsDisease est une sous-classe de AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2413-2413 | AutoimmuneVasculitis est une sous-classe de AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2706-2706 | CeliacDisease est une sous-classe de AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2323-2323 | GravesDisease est une sous-classe de AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2369-2369 | HashimotosThyroiditis est une sous-classe de AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2276-2276 | InflammatoryBowelDisease est une sous-classe de AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2258-2258 | Lupus est une sous-classe de AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2247-2247 | MultipleSclerosis est une sous-classe de AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2399-2399 | MyastheniaGravis est une sous-classe de AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2684-2684 | PerniciousAnemia est une sous-classe de AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2241-2241 | Psoriasis est une sous-classe de AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2224-2224 | RheumatoidArthritis est une sous-classe de AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5502-5502 | Sepsis est une sous-classe de AutoImmuneDisorder |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2353-2353 | SjogrensSyndrome est une sous-classe de AutoImmuneDisorder |
| 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 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2149-2154 |
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4614-4619 |
|
|
|
|