|
|
   Medicine
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Medicine EnglishLanguage "Any BiologicallyActiveSubstance which has a therapeutic effect under certain conditions.") | Mid-level-ontology.kif 9236-9237 | |
| (externalImage Medicine "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Drug_ampoule_JPN.jpg") | pictureList.kif 4777-4777 | |
| (subclass Medicine BiologicallyActiveSubstance) | Mid-level-ontology.kif 9235-9235 | Medicine est une sous-classe de substance biologique active |
| appearance as argument number 2 |
|
|
| (subclass Adalimumab Medicine) | Medicine.kif 3605-3605 | Adalimumab est une sous-classe de Medicine |
| (subclass Adderall Medicine) | Medicine.kif 4744-4744 | Adderall est une sous-classe de Medicine |
| (subclass Analgesic Medicine) | Medicine.kif 6392-6392 | Analgesic est une sous-classe de Medicine |
| (subclass Anesthesia Medicine) | Medicine.kif 1021-1021 | Anesthesia est une sous-classe de Medicine |
| (subclass AntiInflammatory Medicine) | Mid-level-ontology.kif 12416-12416 | AntiInflammatory est une sous-classe de Medicine |
| (subclass AntiViralMedicine Medicine) | VirusProteinAndCellPart.kif 1254-1254 | AntiViralMedicine est une sous-classe de Medicine |
| (subclass Anticoagulant Medicine) | Medicine.kif 4835-4835 | Anticoagulant est une sous-classe de Medicine |
| (subclass Antipsychotic Medicine) | Mid-level-ontology.kif 9711-9711 | Antipsychotic est une sous-classe de Medicine |
| (subclass Antiseizure Medicine) | Medicine.kif 3312-3312 | Antiseizure est une sous-classe de Medicine |
| (subclass BetaBlocker Medicine) | Medicine.kif 4669-4669 | BetaBlocker est une sous-classe de Medicine |
| (subclass Crisaborole Medicine) | Medicine.kif 4349-4349 | Crisaborole est une sous-classe de Medicine |
| (subclass Desloratadine Medicine) | Medicine.kif 4705-4705 | Desloratadine est une sous-classe de Medicine |
| (subclass Immunosuppressive Medicine) | Medicine.kif 4595-4595 | Immunosuppressive est une sous-classe de Medicine |
| (subclass Ivabradine Medicine) | Medicine.kif 4883-4883 | Ivabradine est une sous-classe de Medicine |
| (subclass Lamotrigine Medicine) | Medicine.kif 3349-3349 | Lamotrigine est une sous-classe de Medicine |
| (subclass Lisdexamfetamine Medicine) | Medicine.kif 3966-3966 | Lisdexamfetamine est une sous-classe de Medicine |
| (subclass Morphine Medicine) | Medicine.kif 6194-6194 | Morphine est une sous-classe de Medicine |
| (subclass Nizatidine Medicine) | Medicine.kif 4956-4956 | Nizatidine est une sous-classe de Medicine |
| (subclass Ondansetron Medicine) | Medicine.kif 5076-5076 | Ondansetron est une sous-classe de Medicine |
| (subclass Pill Medicine) | Mid-level-ontology.kif 9246-9246 | Pill est une sous-classe de Medicine |
| (subclass ProtonPumpInhibitor Medicine) | Mid-level-ontology.kif 9883-9883 | ProtonPumpInhibitor est une sous-classe de Medicine |
| (subclass Singulair Medicine) | Medicine.kif 3245-3245 | Singulair est une sous-classe de Medicine |
| (subclass Sulfasalazine Medicine) | Medicine.kif 3899-3899 | Sulfasalazine est une sous-classe de Medicine |
| (subclass ThyroidStimulatingHormone Medicine) | Mid-level-ontology.kif 12262-12262 | ThyroidStimulatingHormone est une sous-classe de Medicine |
| (subclass TranexamicAcid Medicine) | Medicine.kif 1041-1041 | TranexamicAcid est une sous-classe de Medicine |
| 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 9640-9640 | Le nombre 1 argument de medicine est une sous-classe de Medicine |
| 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 9278-9288 | |
| (=> (instance ?M Medicine) (exists (?P) (and (instance ?P TherapeuticProcess) (resource ?P ?M)))) |
Mid-level-ontology.kif 9239-9244 |
| consequent |
|
|
| (=> (and (instance ?ACT Ingesting) (resource ?ACT ?F)) (or (instance ?F (FoodForFn Organism)) (instance ?F Medicine))) |
Merge.kif 10252-10258 | |
| (=> (instance ?D DrugStore) (exists (?S ?M) (and (instance ?S Selling) (agent ?S ?D) (patient ?S ?M) (instance ?M Medicine)))) |
Mid-level-ontology.kif 7805-7812 | |
| (=> (instance ?DC DrugCandidate) (exists (?O) (and (instance ?O Organization) (hasPurposeForAgent ?DC (instance ?DC Medicine) ?O)))) |
Medicine.kif 3089-3096 |
|
| (=> (instance ?P Prescription) (exists (?M) (and (instance ?M Medicine) (refers ?P ?M)))) |
Mid-level-ontology.kif 9271-9276 | |
| (=> (instance ?TA TopicalApplication) (exists (?M ?A ?S) (and (instance ?M Medicine) (instance ?A Animal) (instance ?S Skin) (part ?S ?A) (objectTransferred ?TA ?M) (destination ?M ?S)))) |
Mid-level-ontology.kif 12448-12457 |
|
|
|
