|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5615-5615 | Malaria is disease treatment hydroxychloroquine for ingesting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4766-4766 | Narcolepsy is disease treatment Mydayis for ingesting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4968-4968 | Nizatidine is disease treatment stomach ulcers for ingesting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5087-5087 | Ondansetron is disease treatment nausea for ingesting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5089-5089 | Ondansetron is disease treatment vomiting for ingesting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2522-2522 | Pellagra is disease treatment niacin for ingesting |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1579-1579 | Pertussis is disease treatment antibiotic for ingesting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5616-5616 | Rheumatoid arthritis is disease treatment hydroxychloroquine for ingesting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3914-3914 | Rheumatoid arthritis is disease treatment sulfasalazine for ingesting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2653-2653 | Rickets is disease treatment calciferol for ingesting |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 261-261 | Rocky mountain spotted fever is disease treatment oral antibiotic for ingesting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2627-2627 | Scurvy is disease treatment ascorbic acid for ingesting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3884-3884 | Epileptic seizure is disease treatment benzodiazepine for ingesting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3598-3598 | Strep throat is disease treatment clarithromycin for ingesting |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1732-1732 | Tuberculosis is disease treatment oral antibiotic for ingesting |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1359-1359 | Typhoid fever is disease treatment antibiotic for ingesting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3916-3916 | Ulcerative colitis is disease treatment sulfasalazine for ingesting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5547-5547 | Upadacitinib is disease treatment rheumatoid arthritis for ingesting |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9826-9826 | A treatment for allergic reaction is antihistamine administered via ingesting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6407-6407 | A treatment for pain is painkiller administered via ingesting |
|
|
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