|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5615-5615 | 疟疾 是 对于 消化 的 disease 治愈 Hydroxychloroquine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4766-4766 | Narcolepsy 是 对于 消化 的 disease 治愈 Adderall |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4968-4968 | Nizatidine 是 对于 消化 的 disease 治愈 PepticUlcers |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5087-5087 | Ondansetron 是 对于 消化 的 disease 治愈 Nausea |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5089-5089 | Ondansetron 是 对于 消化 的 disease 治愈 Vomiting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2522-2522 | Pellagra 是 对于 消化 的 disease 治愈 VitaminB3 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1579-1579 | 百日咳 是 对于 消化 的 disease 治愈 抗生素 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5616-5616 | RheumatoidArthritis 是 对于 消化 的 disease 治愈 Hydroxychloroquine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3914-3914 | RheumatoidArthritis 是 对于 消化 的 disease 治愈 Sulfasalazine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2653-2653 | Rickets 是 对于 消化 的 disease 治愈 VitaminD |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 261-261 | 落基山斑疹热 是 对于 消化 的 disease 治愈 口服抗生素 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2627-2627 | Scurvy 是 对于 消化 的 disease 治愈 VitaminC |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3884-3884 | Seizure 是 对于 消化 的 disease 治愈 Benzodiazepine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3598-3598 | 咽喉炎 是 对于 消化 的 disease 治愈 Clarithromycin |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1732-1732 | 结核 是 对于 消化 的 disease 治愈 口服抗生素 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1359-1359 | 伤寒 是 对于 消化 的 disease 治愈 抗生素 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3916-3916 | UlcerativeColitis 是 对于 消化 的 disease 治愈 Sulfasalazine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5547-5547 | Upadacitinib 是 对于 消化 的 disease 治愈 RheumatoidArthritis |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9826-9826 | pathologyTreatment AllergicReaction, Antihistamine and 消化 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6407-6407 | pathologyTreatment 痛, Analgesic and 消化 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners