TreeView Knowledge Base Browser - Medicine

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 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	If an entity is an instance of prescription and an object is an instance of medicine and the entity includes a reference to the object, then there exist the entityHARM and a transfer such that the transfer is an instance of selling and the object transferred in the transfer is the object and the entityHARM is an agent of the transfer and pharmacist is an attribute of the transfer
(=> (instance ?M Medicine) (exists (?P) (and (instance ?P TherapeuticProcess) (instrument ?P ?M))))	Mid-level-ontology.kif 8850-8855	If an object is an instance of medicine, then there exists a process such that the process is an instance of therapeutic process and the object is an instrument for the process

consequent

(=> (and (instance ?ACT Ingesting) (resource ?ACT ?F)) (or (instance ?F (FoodForFn Organism)) (instance ?F Medicine)))	Merge.kif 10159-10165	If a process is an instance of ingesting and an object is a resource for the process, then the object is an instance of food for organism or the object 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 7474-7481	If an agent is an instance of drug store, then there exist a process and an entity such that the process is an instance of selling and the agent is an agent of the process and the entity is a patient of the process and the entity is an instance of medicine
(=> (instance ?P Prescription) (exists (?M) (and (instance ?M Medicine) (refers ?P ?M))))	Mid-level-ontology.kif 8882-8887	If an entity is an instance of prescription, then there exists another entity such that the other entity is an instance of medicine and the entity includes a reference to the other entity
(=> (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	If a transfer is an instance of topical application, then there exist an object, another object and a third object such that the object is an instance of medicine and the other object is an instance of animal and the third object is an instance of skin and the third object is a part of the other object and the object transferred in the transfer is the object and the object ends up at the third object

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