Medicine![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Medicine EnglishLanguage "Any BiologicallyActiveSubstance which has a therapeutic effect under certain conditions.") | Mid-level-ontology.kif 10583-10584 | |
(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 10582-10582 |
appearance as argument number 2 |
![]() |
(subclass Adalimumab Medicine) | Medicine.kif 3608-3608 | |
(subclass Adderall Medicine) | Medicine.kif 4751-4751 | |
(subclass Analgesic Medicine) | Medicine.kif 6410-6410 | |
(subclass Anesthesia Medicine) | Medicine.kif 1013-1013 | |
(subclass AntiInflammatory Medicine) | Mid-level-ontology.kif 13765-13765 | |
(subclass AntiViralMedicine Medicine) | VirusProteinAndCellPart.kif 1262-1262 | |
(subclass Anticoagulant Medicine) | Medicine.kif 4842-4842 | |
(subclass Antipsychotic Medicine) | Mid-level-ontology.kif 11058-11058 | |
(subclass Antiseizure Medicine) | Medicine.kif 3313-3313 | |
(subclass BetaBlocker Medicine) | Medicine.kif 4676-4676 | |
(subclass Crisaborole Medicine) | Medicine.kif 4356-4356 | |
(subclass Desloratadine Medicine) | Medicine.kif 4712-4712 | |
(subclass Immunosuppressive Medicine) | Medicine.kif 4602-4602 | |
(subclass Ivabradine Medicine) | Medicine.kif 4890-4890 | |
(subclass Lamotrigine Medicine) | Medicine.kif 3350-3350 | |
(subclass Lisdexamfetamine Medicine) | Medicine.kif 3969-3969 | |
(subclass Morphine Medicine) | Medicine.kif 6208-6208 | |
(subclass Nizatidine Medicine) | Medicine.kif 4963-4963 | |
(subclass Ondansetron Medicine) | Medicine.kif 5083-5083 | |
(subclass Pill Medicine) | Mid-level-ontology.kif 10593-10593 | |
(subclass ProtonPumpInhibitor Medicine) | Mid-level-ontology.kif 11230-11230 | |
(subclass Singulair Medicine) | Medicine.kif 3246-3246 | |
(subclass Sulfasalazine Medicine) | Medicine.kif 3902-3902 | |
(subclass ThyroidStimulatingHormone Medicine) | Mid-level-ontology.kif 13611-13611 | |
(subclass TranexamicAcid Medicine) | Medicine.kif 1033-1033 | |
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 10987-10987 |
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 10625-10635 | |
(=> (instance ?M Medicine) (exists (?P) (and (instance ?P TherapeuticProcess) (resource ?P ?M)))) |
Mid-level-ontology.kif 10586-10591 |
consequent |
![]() |
(=> (and (instance ?ACT Ingesting) (resource ?ACT ?F)) (or (instance ?F (FoodForFn Organism)) (instance ?F Medicine))) |
Merge.kif 10377-10383 | |
(=> (instance ?D DrugStore) (exists (?S ?M) (and (instance ?S Selling) (agent ?S ?D) (patient ?S ?M) (instance ?M Medicine)))) |
Mid-level-ontology.kif 8991-8998 | |
(=> (instance ?DC DrugCandidate) (exists (?O) (and (instance ?O Organization) (hasPurposeForAgent ?DC (instance ?DC Medicine) ?O)))) |
Medicine.kif 3090-3097 | |
(=> (instance ?P Prescription) (exists (?M) (and (instance ?M Medicine) (refers ?P ?M)))) |
Mid-level-ontology.kif 10618-10623 | |
(=> (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 |
![]() |
![]() |