CrohnsDisease |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4736-4736 | CrohnsDisease 是 对于 消化 的 disease 治愈 MycophenolicAcid |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3915-3915 | CrohnsDisease 是 对于 消化 的 disease 治愈 Sulfasalazine |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2290-2292 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2289-2289 | CrohnsDisease 是 InflammatoryBowelDisease 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2293-2293 |