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

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


(subclass Adalimumab Medicine) Medicine.kif 3593-3593 Adalimumab is a subclass of medicine
(subclass Adderall Medicine) Medicine.kif 4732-4732 Mydayis is a subclass of medicine
(subclass Analgesic Medicine) Medicine.kif 6376-6376 Painkiller is a subclass of medicine
(subclass Anesthesia Medicine) Medicine.kif 1009-1009 Anesthesia is a subclass of medicine
(subclass AntiInflammatory Medicine) Mid-level-ontology.kif 13312-13312 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 4823-4823 Blood thinner is a subclass of medicine
(subclass Antipsychotic Medicine) Mid-level-ontology.kif 10607-10607 Anti_psychotic is a subclass of medicine
(subclass Antiseizure Medicine) Medicine.kif 3300-3300 Anti-seizure is a subclass of medicine
(subclass BetaBlocker Medicine) Medicine.kif 4657-4657 Beta blocker is a subclass of medicine
(subclass Crisaborole Medicine) Medicine.kif 4337-4337 Crisaborole is a subclass of medicine
(subclass Desloratadine Medicine) Medicine.kif 4693-4693 Desloratadine is a subclass of medicine
(subclass Immunosuppressive Medicine) Medicine.kif 4583-4583 Immunosuppressant is a subclass of medicine
(subclass Ivabradine Medicine) Medicine.kif 4871-4871 Ivabradine is a subclass of medicine
(subclass Lamotrigine Medicine) Medicine.kif 3337-3337 Lamictal is a subclass of medicine
(subclass Lisdexamfetamine Medicine) Medicine.kif 3954-3954 Lisdexamfetamine is a subclass of medicine
(subclass Morphine Medicine) Medicine.kif 6177-6177 Morphine is a subclass of medicine
(subclass Nizatidine Medicine) Medicine.kif 4944-4944 Nizatidine is a subclass of medicine
(subclass Ondansetron Medicine) Medicine.kif 5064-5064 Ondansetron is a subclass of medicine
(subclass Pill Medicine) Mid-level-ontology.kif 10142-10142 Pill is a subclass of medicine
(subclass ProtonPumpInhibitor Medicine) Mid-level-ontology.kif 10779-10779 PPI is a subclass of medicine
(subclass Singulair Medicine) Medicine.kif 3233-3233 Montelukast is a subclass of medicine
(subclass Sulfasalazine Medicine) Medicine.kif 3887-3887 Sulfasalazine is a subclass of medicine
(subclass ThyroidStimulatingHormone Medicine) Mid-level-ontology.kif 13158-13158 Thyroid stimulating hormone is a subclass of medicine
(subclass TranexamicAcid Medicine) Medicine.kif 1029-1029 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 10536-10536 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 10174-10184
(=>
    (instance ?M Medicine)
    (exists (?P)
        (and
            (instance ?P TherapeuticProcess)
            (resource ?P ?M))))		 Mid-level-ontology.kif 10135-10140

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


(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))		 Merge.kif 10317-10323
(=>
    (instance ?D DrugStore)
    (exists (?S ?M)
        (and
            (instance ?S Selling)
            (agent ?S ?D)
            (patient ?S ?M)
            (instance ?M Medicine))))		 Mid-level-ontology.kif 8578-8585
(=>
    (instance ?DC DrugCandidate)
    (exists (?O)
        (and
            (instance ?O Organization)
            (hasPurposeForAgent ?DC
                (instance ?DC Medicine) ?O))))		 Medicine.kif 3077-3084
(=>
    (instance ?P Prescription)
    (exists (?M)
        (and
            (instance ?M Medicine)
            (refers ?P ?M))))		 Mid-level-ontology.kif 10167-10172
(=>
    (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 13344-13353


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