Ingesting
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2908-2908 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10271-10272 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1657-1657 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10268-10268 | Ingesting is a subclass of organism process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10269-10269 | Ingesting is a subclass of transfer |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 282-282 | Ingesting is a biochemical agent delivery of bacillus anthracis |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1850-1850 | Ingesting is a biochemical agent delivery of bacillus cereus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 478-478 | Ingesting is a biochemical agent delivery of blister agent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 326-326 | Ingesting is a biochemical agent delivery of botulinum toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 375-375 | Ingesting is a biochemical agent delivery of burkholderia pseudomallei |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 342-342 | Ingesting is a biochemical agent delivery of clostridium perfringens |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1251-1251 | Ingesting is a biochemical agent delivery of coxiella burnetii |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 350-350 | Ingesting is a biochemical agent delivery of epsilon toxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1720-1720 | Ingesting is a biochemical agent delivery of escherichia coli0157 h7 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1782-1782 | Ingesting is a biochemical agent delivery of hepatitisA virus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1858-1858 | Ingesting is a biochemical agent delivery of lassa virus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1818-1818 | Ingesting is a biochemical agent delivery of rotavirus |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1353-1353 | Ingesting is a biochemical agent delivery of salmonella typhi |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1456-1456 | Ingesting is a biochemical agent delivery of saxitoxin |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1333-1333 | Ingesting is a biochemical agent delivery of shigella dysenteriae |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1441-1441 | Ingesting is a biochemical agent delivery of staphylococcal enterotoxin b |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1493-1493 | Ingesting is a biochemical agent delivery of vibrio cholera |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10293-10293 | Drinking is a subclass of ingesting |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10282-10282 | Eating is a subclass of ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1068-1068 | IV Therapy is a subclass of ingesting |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1079-1079 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1369-1369 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 757-757 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 289-289 | |
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. | 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 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 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3597-3597 | Lyme disease is disease treatment clarithromycin for ingesting |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 823-840 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10311-10319 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 2548-2562 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1288-1290 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3317-3332 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9696-9708 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9716-9728 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4891-4911 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12420-12440 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9254-9262 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6609-6614 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2252-2258 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1050-1066 |
|