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

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


(subclass Adalimumab Medicine) Medicine.kif 3605-3605 Adalimumab is a subclass of medicine
(subclass Adderall Medicine) Medicine.kif 4744-4744 Mydayis is a subclass of medicine
(subclass Analgesic Medicine) Medicine.kif 6392-6392 Painkiller is a subclass of medicine
(subclass Anesthesia Medicine) Medicine.kif 1021-1021 Anesthesia is a subclass of medicine
(subclass AntiInflammatory Medicine) Mid-level-ontology.kif 12634-12634 Anti-inflammatory is a subclass of medicine
(subclass AntiViralMedicine Medicine) VirusProteinAndCellPart.kif 1255-1255 Anti viral medicine is a subclass of medicine
(subclass Anticoagulant Medicine) Medicine.kif 4835-4835 Blood thinner is a subclass of medicine
(subclass Antipsychotic Medicine) Mid-level-ontology.kif 9929-9929 Anti-psychotic is a subclass of medicine
(subclass Antiseizure Medicine) Medicine.kif 3312-3312 Anti-seizure is a subclass of medicine
(subclass BetaBlocker Medicine) Medicine.kif 4669-4669 Beta blocker is a subclass of medicine
(subclass Crisaborole Medicine) Medicine.kif 4349-4349 Crisaborole is a subclass of medicine
(subclass Desloratadine Medicine) Medicine.kif 4705-4705 Desloratadine is a subclass of medicine
(subclass Immunosuppressive Medicine) Medicine.kif 4595-4595 Immunosuppressant is a subclass of medicine
(subclass Ivabradine Medicine) Medicine.kif 4883-4883 Ivabradine is a subclass of medicine
(subclass Lamotrigine Medicine) Medicine.kif 3349-3349 Lamictal is a subclass of medicine
(subclass Lisdexamfetamine Medicine) Medicine.kif 3966-3966 Lisdexamfetamine is a subclass of medicine
(subclass Morphine Medicine) Medicine.kif 6194-6194 Morphine is a subclass of medicine
(subclass Nizatidine Medicine) Medicine.kif 4956-4956 Nizatidine is a subclass of medicine
(subclass Ondansetron Medicine) Medicine.kif 5076-5076 Ondansetron is a subclass of medicine
(subclass Pill Medicine) Mid-level-ontology.kif 9464-9464 Pill is a subclass of medicine
(subclass ProtonPumpInhibitor Medicine) Mid-level-ontology.kif 10101-10101 PPI is a subclass of medicine
(subclass Singulair Medicine) Medicine.kif 3245-3245 Montelukast is a subclass of medicine
(subclass Sulfasalazine Medicine) Medicine.kif 3899-3899 Sulfasalazine is a subclass of medicine
(subclass ThyroidStimulatingHormone Medicine) Mid-level-ontology.kif 12480-12480 Thyroid stimulating hormone is a subclass of medicine
(subclass TranexamicAcid Medicine) Medicine.kif 1041-1041 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 9858-9858 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 9496-9506
(=>
    (instance ?M Medicine)
    (exists (?P)
        (and
            (instance ?P TherapeuticProcess)
            (resource ?P ?M))))		 Mid-level-ontology.kif 9457-9462

consequent
-------------------------


(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))		 Merge.kif 10288-10294
(=>
    (instance ?D DrugStore)
    (exists (?S ?M)
        (and
            (instance ?S Selling)
            (agent ?S ?D)
            (patient ?S ?M)
            (instance ?M Medicine))))		 Mid-level-ontology.kif 8023-8030
(=>
    (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 9489-9494
(=>
    (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 12666-12675


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