|
|
   Medicine
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Medicine EnglishLanguage "Any BiologicallyActiveSubstance which has a therapeutic effect under certain conditions.") | Mid-level-ontology.kif 10565-10566 | |
| (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 10564-10564 | Medicine est une sous-classe de substance biologique active |
| appearance as argument number 2 |
|
|
| (subclass Adalimumab Medicine) | Medicine.kif 3608-3608 | Adalimumab est une sous-classe de Medicine |
| (subclass Adderall Medicine) | Medicine.kif 4751-4751 | Adderall est une sous-classe de Medicine |
| (subclass Analgesic Medicine) | Medicine.kif 6410-6410 | Analgesic est une sous-classe de Medicine |
| (subclass Anesthesia Medicine) | Medicine.kif 1013-1013 | Anesthesia est une sous-classe de Medicine |
| (subclass AntiInflammatory Medicine) | Mid-level-ontology.kif 13747-13747 | AntiInflammatory est une sous-classe de Medicine |
| (subclass AntiViralMedicine Medicine) | VirusProteinAndCellPart.kif 1262-1262 | AntiViralMedicine est une sous-classe de Medicine |
| (subclass Anticoagulant Medicine) | Medicine.kif 4842-4842 | Anticoagulant est une sous-classe de Medicine |
| (subclass Antipsychotic Medicine) | Mid-level-ontology.kif 11040-11040 | Antipsychotic est une sous-classe de Medicine |
| (subclass Antiseizure Medicine) | Medicine.kif 3313-3313 | Antiseizure est une sous-classe de Medicine |
| (subclass BetaBlocker Medicine) | Medicine.kif 4676-4676 | BetaBlocker est une sous-classe de Medicine |
| (subclass Crisaborole Medicine) | Medicine.kif 4356-4356 | Crisaborole est une sous-classe de Medicine |
| (subclass Desloratadine Medicine) | Medicine.kif 4712-4712 | Desloratadine est une sous-classe de Medicine |
| (subclass Immunosuppressive Medicine) | Medicine.kif 4602-4602 | Immunosuppressive est une sous-classe de Medicine |
| (subclass Ivabradine Medicine) | Medicine.kif 4890-4890 | Ivabradine est une sous-classe de Medicine |
| (subclass Lamotrigine Medicine) | Medicine.kif 3350-3350 | Lamotrigine est une sous-classe de Medicine |
| (subclass Lisdexamfetamine Medicine) | Medicine.kif 3969-3969 | Lisdexamfetamine est une sous-classe de Medicine |
| (subclass Morphine Medicine) | Medicine.kif 6208-6208 | Morphine est une sous-classe de Medicine |
| (subclass Nizatidine Medicine) | Medicine.kif 4963-4963 | Nizatidine est une sous-classe de Medicine |
| (subclass Ondansetron Medicine) | Medicine.kif 5083-5083 | Ondansetron est une sous-classe de Medicine |
| (subclass Pill Medicine) | Mid-level-ontology.kif 10575-10575 | Pill est une sous-classe de Medicine |
| (subclass ProtonPumpInhibitor Medicine) | Mid-level-ontology.kif 11212-11212 | ProtonPumpInhibitor est une sous-classe de Medicine |
| (subclass Singulair Medicine) | Medicine.kif 3246-3246 | Singulair est une sous-classe de Medicine |
| (subclass Sulfasalazine Medicine) | Medicine.kif 3902-3902 | Sulfasalazine est une sous-classe de Medicine |
| (subclass ThyroidStimulatingHormone Medicine) | Mid-level-ontology.kif 13593-13593 | ThyroidStimulatingHormone est une sous-classe de Medicine |
| (subclass TranexamicAcid Medicine) | Medicine.kif 1033-1033 | 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 10969-10969 | 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 10607-10617 | |
| (=> (instance ?M Medicine) (exists (?P) (and (instance ?P TherapeuticProcess) (resource ?P ?M)))) |
Mid-level-ontology.kif 10568-10573 |
| consequent |
|
|
| (=> (and (instance ?ACT Ingesting) (resource ?ACT ?F)) (or (instance ?F (FoodForFn Organism)) (instance ?F Medicine))) |
Merge.kif 10392-10398 | |
| (=> (instance ?D DrugStore) (exists (?S ?M) (and (instance ?S Selling) (agent ?S ?D) (patient ?S ?M) (instance ?M Medicine)))) |
Mid-level-ontology.kif 8972-8979 | |
| (=> (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 10600-10605 | |
| (=> (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 13779-13788 |
|
|
|
