Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Medicine
Medicine(medicine)
3TC, AZT, Altace, Arava, Baycol, Bendopa, Bextra, Brocadopa, Cardura, Ceftin, Celebrex, Cialis, Crixivan, DDC, DDI, Daricon, Desyrel, Diovan, Enbrel, Flagyl, Imuran, Invirase, L-dopa, Larodopa, Lescol, Levitra, Mavik, NNRTI, NRTI, Neurontin, Norvir, Paxil, Pravachol, Prostigmin, Remicade, Rescriptor, Retrovir, Vasomax, Vasotec, Viagra, Vioxx, Viracept, Viramune, ZDV, Zinacef, Zocor, Zoloft, alkylating_agent, antithyroid, azathioprine...

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 Medicine is a subclass of biologically active substance

appearance as argument number 2
-------------------------


(subclass Adalimumab Medicine) Medicine.kif 3608-3608 Adalimumab is a subclass of medicine
(subclass Adderall Medicine) Medicine.kif 4751-4751 Mydayis is a subclass of medicine
(subclass Analgesic Medicine) Medicine.kif 6410-6410 Painkiller is a subclass of medicine
(subclass Anesthesia Medicine) Medicine.kif 1013-1013 Anesthesia is a subclass of medicine
(subclass AntiInflammatory Medicine) Mid-level-ontology.kif 13765-13765 Anti-inflammatory is a subclass of medicine
(subclass AntiViralMedicine Medicine) VirusProteinAndCellPart.kif 1262-1262 Anti viral medicine is a subclass of medicine
(subclass Anticoagulant Medicine) Medicine.kif 4842-4842 Blood thinner is a subclass of medicine
(subclass Antipsychotic Medicine) Mid-level-ontology.kif 11058-11058 Anti-psychotic is a subclass of medicine
(subclass Antiseizure Medicine) Medicine.kif 3313-3313 Anti-seizure is a subclass of medicine
(subclass BetaBlocker Medicine) Medicine.kif 4676-4676 Beta blocker is a subclass of medicine
(subclass Crisaborole Medicine) Medicine.kif 4356-4356 Crisaborole is a subclass of medicine
(subclass Desloratadine Medicine) Medicine.kif 4712-4712 Desloratadine is a subclass of medicine
(subclass Immunosuppressive Medicine) Medicine.kif 4602-4602 Immunosuppressant is a subclass of medicine
(subclass Ivabradine Medicine) Medicine.kif 4890-4890 Ivabradine is a subclass of medicine
(subclass Lamotrigine Medicine) Medicine.kif 3350-3350 Lamictal is a subclass of medicine
(subclass Lisdexamfetamine Medicine) Medicine.kif 3969-3969 Lisdexamfetamine is a subclass of medicine
(subclass Morphine Medicine) Medicine.kif 6208-6208 Morphine is a subclass of medicine
(subclass Nizatidine Medicine) Medicine.kif 4963-4963 Nizatidine is a subclass of medicine
(subclass Ondansetron Medicine) Medicine.kif 5083-5083 Ondansetron is a subclass of medicine
(subclass Pill Medicine) Mid-level-ontology.kif 10593-10593 Pill is a subclass of medicine
(subclass ProtonPumpInhibitor Medicine) Mid-level-ontology.kif 11230-11230 PPI is a subclass of medicine
(subclass Singulair Medicine) Medicine.kif 3246-3246 Montelukast is a subclass of medicine
(subclass Sulfasalazine Medicine) Medicine.kif 3902-3902 Sulfasalazine is a subclass of medicine
(subclass ThyroidStimulatingHormone Medicine) Mid-level-ontology.kif 13611-13611 Thyroid stimulating hormone is a subclass of medicine
(subclass TranexamicAcid Medicine) Medicine.kif 1033-1033 Tranexamic acid is a subclass of 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 10987-10987 The number 1 argument of medicine is a subclass of 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 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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners