|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5615-5615 | diseaseMedicine Malaria, Hydroxychloroquine and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4766-4766 | diseaseMedicine Narcolepsy, Adderall and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4968-4968 | diseaseMedicine Nizatidine, PepticUlcers and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5087-5087 | diseaseMedicine Ondansetron, Nausea and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5089-5089 | diseaseMedicine Ondansetron, Vomiting and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2522-2522 | diseaseMedicine Pellagra, VitaminB3 and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1579-1579 | diseaseMedicine Pertussis, Antibiotic and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5616-5616 | diseaseMedicine RheumatoidArthritis, Hydroxychloroquine and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3914-3914 | diseaseMedicine RheumatoidArthritis, Sulfasalazine and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2653-2653 | diseaseMedicine Rickets, VitaminD and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 261-261 | diseaseMedicine RockyMountainSpottedFever, OralAntibiotic and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2627-2627 | diseaseMedicine Scurvy, VitaminC and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3884-3884 | diseaseMedicine Seizure, Benzodiazepine and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3598-3598 | diseaseMedicine StrepThroat, Clarithromycin and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1732-1732 | diseaseMedicine Tuberculosis, OralAntibiotic and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1359-1359 | diseaseMedicine TyphoidFever, Antibiotic and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3916-3916 | diseaseMedicine UlcerativeColitis, Sulfasalazine and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5547-5547 | diseaseMedicine Upadacitinib, RheumatoidArthritis and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9825-9825 | pathologyTreatment AllergicReaction, Antihistamine and Ingerir |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6407-6407 | pathologyTreatment Pain, Analgesic and Ingerir |
|
|
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