Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Medicine BiologicallyActiveSubstance) Mid-level-ontology.kif 10732-10732 Medicine is a subclass of biologically active substance
(documentation Medicine EnglishLanguage "Any BiologicallyActiveSubstance which has a therapeutic effect under certain conditions.") Mid-level-ontology.kif 10733-10734 Medicine is a subclass of biologically active substance
(externalImage Medicine "http://upload.wikimedia.org/wikipedia/commons/a/ a1/ Drug_ampoule_JPN.jpg") pictureList.kif 4776-4776 Medicine is a subclass of biologically active substance

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


(subclass Pill Medicine) Mid-level-ontology.kif 10751-10751 Pill is a subclass of medicine
(subclass Antipsychotic Medicine) Mid-level-ontology.kif 11156-11156 Anti-psychotic is a subclass of medicine
(subclass ProtonPumpInhibitor Medicine) Mid-level-ontology.kif 11328-11328 PPI is a subclass of medicine
(subclass ThyroidStimulatingHormone Medicine) Mid-level-ontology.kif 13859-13859 Thyroid stimulating hormone is a subclass of medicine
(subclass AntiInflammatory Medicine) Mid-level-ontology.kif 14031-14031 Anti-inflammatory is a subclass of medicine
(subclass Anesthesia Medicine) Medicine.kif 1002-1002 Anesthesia is a subclass of medicine
(subclass TranexamicAcid Medicine) Medicine.kif 1022-1022 Tranexamic acid is a subclass of medicine
(subclass Singulair Medicine) Medicine.kif 3276-3276 Montelukast is a subclass of medicine
(subclass Vyvanse Medicine) Medicine.kif 3295-3295 Lisdexamfetamine is a subclass of medicine
(subclass Antiseizure Medicine) Medicine.kif 3343-3343 Anti-seizure is a subclass of medicine
(subclass Lamotrigine Medicine) Medicine.kif 3380-3380 Lamictal is a subclass of medicine
(subclass Adalimumab Medicine) Medicine.kif 3636-3636 Adalimumab is a subclass of medicine
(subclass Sulfasalazine Medicine) Medicine.kif 3933-3933 Sulfasalazine is a subclass of medicine
(subclass Lisdexamfetamine Medicine) Medicine.kif 4000-4000 Lisdexamfetamine is a subclass of medicine
(subclass Crisaborole Medicine) Medicine.kif 4370-4370 Crisaborole is a subclass of medicine
(subclass Immunosuppressive Medicine) Medicine.kif 4616-4616 Immunosuppressant is a subclass of medicine
(subclass BetaBlocker Medicine) Medicine.kif 4690-4690 Beta blocker is a subclass of medicine
(subclass Desloratadine Medicine) Medicine.kif 4726-4726 Desloratadine is a subclass of medicine
(subclass Adderall Medicine) Medicine.kif 4765-4765 Mydayis is a subclass of medicine
(subclass Anticoagulant Medicine) Medicine.kif 4856-4856 Blood thinner is a subclass of medicine
(subclass Ivabradine Medicine) Medicine.kif 4904-4904 Ivabradine is a subclass of medicine
(subclass Nizatidine Medicine) Medicine.kif 4977-4977 Nizatidine is a subclass of medicine
(subclass Ondansetron Medicine) Medicine.kif 5097-5097 Ondansetron is a subclass of medicine
(subclass Upadacitinib Medicine) Medicine.kif 5559-5559 Upadacitinib is a subclass of medicine
(subclass AntiParasitic Medicine) Medicine.kif 5627-5627 AntiParasitic 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 11106-11106 The number 1 argument of medicine is a subclass of medicine

antecedent
-------------------------


(=>
    (instance ?M Medicine)
    (exists (?P)
        (and
            (instance ?P TherapeuticProcess)
            (resource ?P ?M))))		 Mid-level-ontology.kif 10736-10741 If X is an instance of medicine, then there exists Y such that Y is an instance of therapeutic process and X is a resource for Y
(=>
    (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 10783-10793 If X is an instance of prescription, Y is an instance of medicine, and X includes a reference to Y, then there exist Z, W such that W is an instance of selling, the object transferred in W is Y, Z is an agent of W, and pharmacist is an attribute of W

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


(=>
    (instance ?D DrugStore)
    (exists (?S ?M)
        (and
            (instance ?S Selling)
            (agent ?S ?D)
            (patient ?S ?M)
            (instance ?M Medicine))))		 Mid-level-ontology.kif 9126-9133 If X is an instance of drug store, then there exist Y, Z such that Y is an instance of selling, X is an agent of Y, Z is a patient of Y, and Z is an instance of medicine
(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))		 Mid-level-ontology.kif 10743-10749 If X is an instance of ingesting and Y is a resource for X, then Y is an instance of food for organism or Y is an instance of medicine
(=>
    (instance ?P Prescription)
    (exists (?M)
        (and
            (instance ?M Medicine)
            (refers ?P ?M))))		 Mid-level-ontology.kif 10776-10781 If X is an instance of prescription, then there exists Y such that Y is an instance of medicine and X includes a reference to Y
(=>
    (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 14063-14072 If X is an instance of topical application, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of medicine (3) Z is an instance of animal (4) W is an instance of skin (5) W is a part of Z (6) the object transferred in X is Y (7) X ends up at W
(=>
    (instance ?DC DrugCandidate)
    (exists (?O)
        (and
            (instance ?O Organization)
            (hasPurposeForAgent ?DC ?O
                (instance ?DC Medicine)))))		 Medicine.kif 3095-3102 If X is an instance of drug candidate, then there exists Y such that Y is an instance of organization and X has the purpose Y for X is an instance of medicine


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners