diseaseMedicine |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 935-939 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 932-932 | The number 1 argument of disease treatment is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 933-933 | The number 2 argument of disease treatment is a subclass of biologically active substance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 934-934 | The number 3 argument of disease treatment is a subclass of process |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 931-931 | disease treatment is an instance of ternary predicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 780-780 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 779-779 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 778-778 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19824-19824 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19823-19823 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19822-19822 |
antecedent |
consequent |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4765-4765 | Attention deficit hyperactivity disorder is disease treatment Mydayis for ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4951-4951 | Abatacept is disease treatment rheumatoid arthritis for ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5634-5634 | Hay fever is disease treatment Chlorpheniramine for ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5255-5255 | Hay fever is disease treatment Levocetirizine for ingesting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1140-1140 | Anthrax is disease treatment ciprofloxacin for ingesting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1139-1139 | Anthrax is disease treatment doxycycline for ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3882-3882 | Anxiety is disease treatment benzodiazepine for ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3979-3979 | AttentionDeficitHyperactivityDisorder is disease treatment lisdexamfetamine for ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3599-3599 | Bacterial pneumonia is disease treatment clarithromycin for ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2469-2469 | Beriberi is disease treatment thiamine for ingesting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 359-359 | Burkholderia mallei is disease treatment ciprofloxacin for ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3932-3932 | COPD is disease treatment roflumilast for ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4736-4736 | Crohn's disease is disease treatment mycophenolic acid for ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3915-3915 | Crohn's disease is disease treatment sulfasalazine for ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4051-4051 | Depressed is disease treatment escitalopram for ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4377-4377 | Atopic dermatitis is disease treatment crisaborole for topical application |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4679-4679 | Myocardial infarction is disease treatment beta blocker for ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4680-4680 | Palpitations is disease treatment beta blocker for ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4681-4681 | Hypertension is disease treatment beta blocker for ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5254-5254 | Urticaria is disease treatment Levocetirizine for ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3883-3883 | Insomnia is disease treatment benzodiazepine for ingesting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 273-273 | Louse borne typhus is disease treatment oral antibiotic for ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4624-4624 | Lupus is disease treatment Benelysta for ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5617-5617 | Lupus is disease treatment hydroxychloroquine for ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4737-4737 | Lupus is disease treatment mycophenolic acid for ingesting |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |