| Medicine(medicine)
| | 3TC, AZT, Altace, Arava, Baycol, Bendopa, Bextra, Brocadopa, Cardura, Ceftin, Celebrex, Cialis, Crixivan, DDC, DDI, Daricon, Desyrel, Diovan, Enbrel, Flagyl, Imuran, Invirase, L-dopa, Larodopa, Lescol, Levitra, Mavik, NNRTI, NRTI, Neurontin, Norvir, Paxil, Pravachol, Prostigmin, Remicade, Rescriptor, Retrovir, Vasomax, Vasotec, Viagra, Vioxx, Viracept, Viramune, ZDV, Zinacef, Zocor, Zoloft, alkylating_agent, antithyroid, azathioprine... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10060-10061 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4776-4776 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10059-10059 | Medicine is a subclass of biologically active substance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3593-3593 | Adalimumab is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4732-4732 | Mydayis is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6376-6376 | Painkiller is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1009-1009 | Anesthesia is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13240-13240 | Anti_inflammatory is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1255-1255 | Anti viral medicine is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4823-4823 | Blood thinner is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10535-10535 | Anti_psychotic is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3300-3300 | Anti-seizure is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4657-4657 | Beta blocker is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4337-4337 | Crisaborole is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4693-4693 | Desloratadine is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4583-4583 | Immunosuppressant is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4871-4871 | Ivabradine is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3337-3337 | Lamictal is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3954-3954 | Lisdexamfetamine is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6177-6177 | Morphine is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4944-4944 | Nizatidine is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5064-5064 | Ondansetron is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10070-10070 | Pill is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10707-10707 | PPI is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3233-3233 | Montelukast is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3887-3887 | Sulfasalazine is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13086-13086 | Thyroid stimulating hormone is a subclass of medicine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1029-1029 | Tranexamic acid is a subclass of medicine |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10464-10464 | The number 1 argument of medicine is a subclass of medicine |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10102-10112 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10063-10068 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10313-10319 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8505-8512 |
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3077-3084 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10095-10100 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13272-13281 |
|
|
|
|