| Medicine
| |
| appearance as argument number 1 |
|
|
| (documentation Medicine EnglishLanguage "Any BiologicallyActiveSubstance which has a therapeutic effect under certain conditions.") | Mid-level-ontology.kif 10585-10586 | |
| (externalImage Medicine "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Drug_ampoule_JPN.jpg") | pictureList.kif 4776-4776 | |
| (subclass Medicine BiologicallyActiveSubstance) | Mid-level-ontology.kif 10584-10584 |
| appearance as argument number 2 |
|
|
| (subclass Adalimumab Medicine) | Medicine.kif 3590-3590 | |
| (subclass Adderall Medicine) | Medicine.kif 4729-4729 | |
| (subclass Analgesic Medicine) | Medicine.kif 6373-6373 | |
| (subclass Anesthesia Medicine) | Medicine.kif 1009-1009 | |
| (subclass AntiInflammatory Medicine) | Mid-level-ontology.kif 13765-13765 | |
| (subclass AntiViralMedicine Medicine) | VirusProteinAndCellPart.kif 1255-1255 | |
| (subclass Anticoagulant Medicine) | Medicine.kif 4820-4820 | |
| (subclass Antipsychotic Medicine) | Mid-level-ontology.kif 11060-11060 | |
| (subclass Antiseizure Medicine) | Medicine.kif 3297-3297 | |
| (subclass BetaBlocker Medicine) | Medicine.kif 4654-4654 | |
| (subclass Crisaborole Medicine) | Medicine.kif 4334-4334 | |
| (subclass Desloratadine Medicine) | Medicine.kif 4690-4690 | |
| (subclass Immunosuppressive Medicine) | Medicine.kif 4580-4580 | |
| (subclass Ivabradine Medicine) | Medicine.kif 4868-4868 | |
| (subclass Lamotrigine Medicine) | Medicine.kif 3334-3334 | |
| (subclass Lisdexamfetamine Medicine) | Medicine.kif 3951-3951 | |
| (subclass Morphine Medicine) | Medicine.kif 6174-6174 | |
| (subclass Nizatidine Medicine) | Medicine.kif 4941-4941 | |
| (subclass Ondansetron Medicine) | Medicine.kif 5061-5061 | |
| (subclass Pill Medicine) | Mid-level-ontology.kif 10595-10595 | |
| (subclass ProtonPumpInhibitor Medicine) | Mid-level-ontology.kif 11232-11232 | |
| (subclass Singulair Medicine) | Medicine.kif 3230-3230 | |
| (subclass Sulfasalazine Medicine) | Medicine.kif 3884-3884 | |
| (subclass ThyroidStimulatingHormone Medicine) | Mid-level-ontology.kif 13611-13611 | |
| (subclass TranexamicAcid Medicine) | Medicine.kif 1029-1029 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| (domainSubclass medicine 1 Medicine) | Mid-level-ontology.kif 10989-10989 |
| antecedent |
|
|
| (=> (and (instance ?P Prescription) (instance ?M Medicine) (refers ?P ?M)) (exists (?PHARM ?S) (and (instance ?S Selling) (objectTransferred ?S ?M) (agent ?S ?PHARM) (attribute ?S Pharmacist)))) |
Mid-level-ontology.kif 10627-10637 | |
| (=> (instance ?M Medicine) (exists (?P) (and (instance ?P TherapeuticProcess) (resource ?P ?M)))) |
Mid-level-ontology.kif 10588-10593 |
| consequent |
|
|
| (=> (and (instance ?ACT Ingesting) (resource ?ACT ?F)) (or (instance ?F (FoodForFn Organism)) (instance ?F Medicine))) |
Merge.kif 10347-10353 | |
| (=> (instance ?D DrugStore) (exists (?S ?M) (and (instance ?S Selling) (agent ?S ?D) (patient ?S ?M) (instance ?M Medicine)))) |
Mid-level-ontology.kif 8994-9001 | |
| (=> (instance ?DC DrugCandidate) (exists (?O) (and (instance ?O Organization) (hasPurposeForAgent ?DC (instance ?DC Medicine) ?O)))) |
Medicine.kif 3074-3081 | |
| (=> (instance ?P Prescription) (exists (?M) (and (instance ?M Medicine) (refers ?P ?M)))) |
Mid-level-ontology.kif 10620-10625 | |
| (=> (instance ?TA TopicalApplication) (exists (?M ?A ?S) (and (instance ?M Medicine) (instance ?A Animal) (instance ?S Skin) (part ?S ?A) (objectTransferred ?TA ?M) (destination ?TA ?S)))) |
Mid-level-ontology.kif 13797-13806 |
|
|
|