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


(subclass Medicine BiologicallyActiveSubstance) Mid-level-ontology.kif 10605-10605 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 10606-10607 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 10616-10616 Pill is a subclass of medicine
(subclass Antipsychotic Medicine) Mid-level-ontology.kif 11080-11080 Anti-psychotic is a subclass of medicine
(subclass ProtonPumpInhibitor Medicine) Mid-level-ontology.kif 11252-11252 PPI is a subclass of medicine
(subclass ThyroidStimulatingHormone Medicine) Mid-level-ontology.kif 13749-13749 Thyroid stimulating hormone is a subclass of medicine
(subclass AntiInflammatory Medicine) Mid-level-ontology.kif 13903-13903 Anti-inflammatory is a subclass of medicine
(subclass Anesthesia Medicine) Medicine.kif 1000-1000 Anesthesia is a subclass of medicine
(subclass TranexamicAcid Medicine) Medicine.kif 1020-1020 Tranexamic acid is a subclass of medicine
(subclass Singulair Medicine) Medicine.kif 3237-3237 Montelukast is a subclass of medicine
(subclass Vyvanse Medicine) Medicine.kif 3256-3256 Lisdexamfetamine is a subclass of medicine
(subclass Antiseizure Medicine) Medicine.kif 3304-3304 Anti-seizure is a subclass of medicine
(subclass Lamotrigine Medicine) Medicine.kif 3341-3341 Lamictal is a subclass of medicine
(subclass Adalimumab Medicine) Medicine.kif 3598-3598 Adalimumab is a subclass of medicine
(subclass Sulfasalazine Medicine) Medicine.kif 3895-3895 Sulfasalazine is a subclass of medicine
(subclass Lisdexamfetamine Medicine) Medicine.kif 3962-3962 Lisdexamfetamine is a subclass of medicine
(subclass Crisaborole Medicine) Medicine.kif 4332-4332 Crisaborole is a subclass of medicine
(subclass Immunosuppressive Medicine) Medicine.kif 4578-4578 Immunosuppressant is a subclass of medicine
(subclass BetaBlocker Medicine) Medicine.kif 4652-4652 Beta blocker is a subclass of medicine
(subclass Desloratadine Medicine) Medicine.kif 4688-4688 Desloratadine is a subclass of medicine
(subclass Adderall Medicine) Medicine.kif 4727-4727 Mydayis is a subclass of medicine
(subclass Anticoagulant Medicine) Medicine.kif 4818-4818 Blood thinner is a subclass of medicine
(subclass Ivabradine Medicine) Medicine.kif 4866-4866 Ivabradine is a subclass of medicine
(subclass Nizatidine Medicine) Medicine.kif 4939-4939 Nizatidine is a subclass of medicine
(subclass Ondansetron Medicine) Medicine.kif 5059-5059 Ondansetron is a subclass of medicine
(subclass Upadacitinib Medicine) Medicine.kif 5521-5521 Upadacitinib is a subclass of medicine
(subclass AntiParasitic Medicine) Medicine.kif 5589-5589 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 11009-11009 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 10609-10614 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 10648-10658 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
-------------------------


(=>
    (and
        (instance ?ACT Ingesting)
        (resource ?ACT ?F))
    (or
        (instance ?F
            (FoodForFn Organism))
        (instance ?F Medicine)))		 Merge.kif 10412-10418 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 ?D DrugStore)
    (exists (?S ?M)
        (and
            (instance ?S Selling)
            (agent ?S ?D)
            (patient ?S ?M)
            (instance ?M Medicine))))		 Mid-level-ontology.kif 9012-9019 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
(=>
    (instance ?P Prescription)
    (exists (?M)
        (and
            (instance ?M Medicine)
            (refers ?P ?M))))		 Mid-level-ontology.kif 10641-10646 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 13935-13944 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 3077-3084 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 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