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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Medicine

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 8847-8848
(externalImage Medicine "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Drug_ampoule_JPN.jpg") pictureList.kif 4778-4778
(subclass Medicine BiologicallyActiveSubstance) Mid-level-ontology.kif 8846-8846 Medicine is a subclass of biologically active substance

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


(subclass AntiInflammatory Medicine) Mid-level-ontology.kif 11893-11893 Anti-inflammatory is a subclass of medicine
(subclass AntiViralMedicine Medicine) VirusProteinAndCellPart.kif 765-765 AntiViralMedicine is a subclass of medicine
(subclass Antipsychotic Medicine) Mid-level-ontology.kif 9279-9279 Anti-psychotic is a subclass of medicine
(subclass Pill Medicine) Mid-level-ontology.kif 8857-8857 Pill is a subclass of medicine
(subclass ProtonPumpInhibitor Medicine) Mid-level-ontology.kif 9451-9451 PPI is a subclass of medicine
(subclass ThyroidStimulatingHormone Medicine) Mid-level-ontology.kif 11741-11741 Thyroid stimulating hormone is a subclass of medicine
(termFormat ChineseLanguage Medicine "医学") domainEnglishFormat.kif 36858-36858
(termFormat ChineseTraditionalLanguage Medicine "醫學") domainEnglishFormat.kif 36857-36857
(termFormat EnglishLanguage Medicine "medicine") domainEnglishFormat.kif 36856-36856

appearance as argument number 3
-------------------------


(domainSubclass medicine 1 Medicine) VirusProteinAndCellPart.kif 742-742 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 8889-8899
(=>
    (instance ?M Medicine)
    (exists (?P)
        (and
            (instance ?P TherapeuticProcess)
            (instrument ?P ?M))))
Mid-level-ontology.kif 8850-8855

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


(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))
Merge.kif 10159-10165
(=>
    (instance ?D DrugStore)
    (exists (?S ?M)
        (and
            (instance ?S Selling)
            (agent ?S ?D)
            (patient ?S ?M)
            (instance ?M Medicine))))
Mid-level-ontology.kif 7474-7481
(=>
    (instance ?P Prescription)
    (exists (?M)
        (and
            (instance ?M Medicine)
            (refers ?P ?M))))
Mid-level-ontology.kif 8882-8887
(=>
    (instance ?TA TopicalApplication)
    (exists (?M ?A ?S)
        (and
            (instance ?M Medicine)
            (instance ?A Animal)
            (instance ?S Skin)
            (part ?S ?A)
            (objectTransferred ?TA ?M)
            (destination ?M ?S))))
Mid-level-ontology.kif 11925-11934


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

Show without tree


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