Medicine - Sigma Knowledge base Browser

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	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) (resource ?P ?M))))	Mid-level-ontology.kif 10135-10140	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 a resource for the process

consequent

(=> (and (instance ?ACT Ingesting) (resource ?ACT ?F)) (or (instance ?F (FoodForFn Organism)) (instance ?F Medicine)))	Merge.kif 10317-10323	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 8578-8585	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 ?DC DrugCandidate) (exists (?O) (and (instance ?O Organization) (hasPurposeForAgent ?DC (instance ?DC Medicine) ?O))))	Medicine.kif 3077-3084	If a physical is an instance of drug candidate, then there exists an agent such that the agent is an instance of organization and the physical has the purpose the physical is an instance of medicine for the agent
(=> (instance ?P Prescription) (exists (?M) (and (instance ?M Medicine) (refers ?P ?M))))	Mid-level-ontology.kif 10167-10172	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 ?TA ?S))))	Mid-level-ontology.kif 13344-13353	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 transfer ends up at the third object

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

KB Term:			Term intersection

English Word: