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 e' uma sub-classe de Substancia Biologica Ativa |
appearance as argument number 2 |
(subclass Adalimumab Medicine) | Medicine.kif 3605-3605 | Adalimumab e' uma sub-classe de Medicine |
(subclass Adderall Medicine) | Medicine.kif 4744-4744 | Adderall e' uma sub-classe de Medicine |
(subclass Analgesic Medicine) | Medicine.kif 6392-6392 | Analgesic e' uma sub-classe de Medicine |
(subclass Anesthesia Medicine) | Medicine.kif 1021-1021 | Anesthesia e' uma sub-classe de Medicine |
(subclass AntiInflammatory Medicine) | Mid-level-ontology.kif 12416-12416 | AntiInflammatory e' uma sub-classe de Medicine |
(subclass AntiViralMedicine Medicine) | VirusProteinAndCellPart.kif 1254-1254 | AntiViralMedicine e' uma sub-classe de Medicine |
(subclass Anticoagulant Medicine) | Medicine.kif 4835-4835 | Anticoagulant e' uma sub-classe de Medicine |
(subclass Antipsychotic Medicine) | Mid-level-ontology.kif 9711-9711 | Antipsychotic e' uma sub-classe de Medicine |
(subclass Antiseizure Medicine) | Medicine.kif 3312-3312 | Antiseizure e' uma sub-classe de Medicine |
(subclass BetaBlocker Medicine) | Medicine.kif 4669-4669 | BetaBlocker e' uma sub-classe de Medicine |
(subclass Crisaborole Medicine) | Medicine.kif 4349-4349 | Crisaborole e' uma sub-classe de Medicine |
(subclass Desloratadine Medicine) | Medicine.kif 4705-4705 | Desloratadine e' uma sub-classe de Medicine |
(subclass Immunosuppressive Medicine) | Medicine.kif 4595-4595 | Immunosuppressive e' uma sub-classe de Medicine |
(subclass Ivabradine Medicine) | Medicine.kif 4883-4883 | Ivabradine e' uma sub-classe de Medicine |
(subclass Lamotrigine Medicine) | Medicine.kif 3349-3349 | Lamotrigine e' uma sub-classe de Medicine |
(subclass Lisdexamfetamine Medicine) | Medicine.kif 3966-3966 | Lisdexamfetamine e' uma sub-classe de Medicine |
(subclass Morphine Medicine) | Medicine.kif 6194-6194 | Morphine e' uma sub-classe de Medicine |
(subclass Nizatidine Medicine) | Medicine.kif 4956-4956 | Nizatidine e' uma sub-classe de Medicine |
(subclass Ondansetron Medicine) | Medicine.kif 5076-5076 | Ondansetron e' uma sub-classe de Medicine |
(subclass Pill Medicine) | Mid-level-ontology.kif 9246-9246 | Pill e' uma sub-classe de Medicine |
(subclass ProtonPumpInhibitor Medicine) | Mid-level-ontology.kif 9883-9883 | ProtonPumpInhibitor e' uma sub-classe de Medicine |
(subclass Singulair Medicine) | Medicine.kif 3245-3245 | Singulair e' uma sub-classe de Medicine |
(subclass Sulfasalazine Medicine) | Medicine.kif 3899-3899 | Sulfasalazine e' uma sub-classe de Medicine |
(subclass ThyroidStimulatingHormone Medicine) | Mid-level-ontology.kif 12262-12262 | ThyroidStimulatingHormone e' uma sub-classe de Medicine |
(subclass TranexamicAcid Medicine) | Medicine.kif 1041-1041 | TranexamicAcid e' uma sub-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 | O argumento numero 1 de medicine e' uma sub-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 |