diseaseMedicine - Sigma Knowledge base Browser

appearance as argument number 1

(documentation diseaseMedicine EnglishLanguage "(diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS) means that the BiologicallyActiveSubstance ?SUBSTANCE is effective in the treatment of the DiseaseOrSyndrome ?DISEASE when administered via the Process ?PROCESS, i.e. it has been demonstrated (in a significant sample of patients) to cure the ?DISEASE or at least reduce the severity of symptoms associated with the ?DISEASE.")	WMD.kif 935-939
(domain diseaseMedicine 1 DiseaseOrSyndrome)	WMD.kif 932-932	The number 1 argument of disease treatment is an instance of disease or syndrome
(domainSubclass diseaseMedicine 2 BiologicallyActiveSubstance)	WMD.kif 933-933	The number 2 argument of disease treatment is a subclass of biologically active substance
(domainSubclass diseaseMedicine 3 Process)	WMD.kif 934-934	The number 3 argument of disease treatment is a subclass of process
(instance diseaseMedicine TernaryPredicate)	WMD.kif 931-931	disease treatment is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage diseaseMedicine "%1 %p{是} %n{不是} 对于 %3 的 disease 治愈 %2")	domainEnglishFormat.kif 780-780
(format ChineseTraditionalLanguage diseaseMedicine "%1 %p{是} %n{不是} 對於 %3 的 disease 治癒 %2 ")	domainEnglishFormat.kif 779-779
(format EnglishLanguage diseaseMedicine "%1 %p{is} %n{isn't} disease treatment %2 for %3")	domainEnglishFormat.kif 778-778
(termFormat ChineseLanguage diseaseMedicine "疾病治疗")	domainEnglishFormat.kif 19824-19824
(termFormat ChineseTraditionalLanguage diseaseMedicine "疾病治療")	domainEnglishFormat.kif 19823-19823
(termFormat EnglishLanguage diseaseMedicine "disease treatment")	domainEnglishFormat.kif 19822-19822

antecedent

(=> (and (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?PROCESS)) (diseaseMedicine ?DISEASE ?SUBSTANCE ?SUB))	WMD.kif 957-961	If a disease or syndrome is disease treatment a kind of biologically active substance for a kind of process and another kind of process is a subclass of a kind of process, then the disease or syndrome is disease treatment a kind of biologically active substance for another kind of process
(=> (and (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?SUBSTANCE)) (diseaseMedicine ?DISEASE ?SUB ?PROCESS))	WMD.kif 963-967	If a disease or syndrome is disease treatment a kind of biologically active substance for a kind of process and another kind of biologically active substance is a subclass of a kind of biologically active substance, then the disease or syndrome is disease treatment another kind of biologically active substance for a kind of process
(=> (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS) (exists (?ORGANISM ?TIME ?SAMPLE ?PROC) (and (holdsDuring ?TIME (attribute ?ORGANISM ?DISEASE)) (increasesLikelihood (and (instance ?PROC ?PROCESS) (temporalPart (WhenFn ?PROC) ?TIME) (experiencer ?PROC ?ORGANISM) (patient ?PROC ?SAMPLE) (instance ?SAMPLE ?SUBSTANCE)) (holdsDuring (ImmediateFutureFn ?TIME) (not (attribute ?ORGANISM ?DISEASE)))))))	WMD.kif 941-955	If a disease or syndrome is disease treatment a kind of biologically active substance for a kind of process, then there exist an entity, a time position,, , another entity and a third entity such that the disease or syndrome is an attribute of the entity holds during the time position and the third entity is an instance of a kind of process and the time of existence of the third entity is a part of the time position and the entity experiences the third entity and the other entity is a patient of the third entity and the other entity is an instance of a kind of biologically active substance increases likelihood of the disease or syndrome is not an attribute of the entity holds during immediately after the time position
(=> (diseaseMedicine ?DISEASE Antibiotic ?PROCESS) (instance ?DISEASE BacterialDisease))	WMD.kif 1274-1276	If a disease or syndrome is disease treatment antibiotic for a kind of process, then the disease or syndrome is an instance of bacterial disease
(=> (diseaseMedicine ?DISEASE Bacitracin ?PROCESS) (and (instance ?DISEASE BacterialDisease) (subclass ?PROCESS Putting)))	WMD.kif 1322-1326	If a disease or syndrome is disease treatment bacitracin for a kind of process, then the disease or syndrome is an instance of bacterial disease and a kind of process is a subclass of putting
(=> (diseaseMedicine ?DISEASE OralAntibiotic ?PROCESS) (subclass ?PROCESS Ingesting))	WMD.kif 1288-1290	If a disease or syndrome is disease treatment oral antibiotic for a kind of process, then a kind of process is a subclass of ingesting
(=> (diseaseMedicine ?DISEASE TopicalAntibiotic ?PROCESS) (subclass ?PROCESS Covering))	WMD.kif 1315-1317	If a disease or syndrome is disease treatment topical antibiotic for a kind of process, then a kind of process is a subclass of covering

consequent

(=> (and (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?PROCESS)) (diseaseMedicine ?DISEASE ?SUBSTANCE ?SUB))	WMD.kif 957-961	If a disease or syndrome is disease treatment a kind of biologically active substance for a kind of process and another kind of process is a subclass of a kind of process, then the disease or syndrome is disease treatment a kind of biologically active substance for another kind of process
(=> (and (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?SUBSTANCE)) (diseaseMedicine ?DISEASE ?SUB ?PROCESS))	WMD.kif 963-967	If a disease or syndrome is disease treatment a kind of biologically active substance for a kind of process and another kind of biologically active substance is a subclass of a kind of biologically active substance, then the disease or syndrome is disease treatment another kind of biologically active substance for a kind of process
(=> (holdsDuring ?T (and (attribute ?H InfectiousDisease) (attribute ?H Diabetes) (attribute ?H (ImpairedBodyPartFn Foot)))) (holdsDuring ?T (diseaseMedicine InfectiousDisease Ertapenem Injecting)))	Medicine.kif 1374-1381	If infectious disease is an attribute of an entity and diabetes mellitus is an attribute of the entity and impaired body part fn foot is an attribute of the entity holds during a time position, then infectious disease is disease treatment ertapenem for injecting holds during the time position
(=> (instance ?DISEASE ViralDisease) (exists (?PROCESS) (not (diseaseMedicine ?DISEASE Antibiotic ?PROCESS))))	WMD.kif 1278-1282	If a disease or syndrome is an instance of viral disease, then there exists a kind of process such that the disease or syndrome isn't disease treatment antibiotic for a kind of process
(=> (subclass ?I Immunosuppressive) (hasPurpose ?I (and (instance ?AID AutoImmuneDisorder) (diseaseMedicine ?AID ?I ?P))))	Medicine.kif 4614-4619	If a physical is a subclass of immunosuppressant, then the physical has the purpose an entity is an instance of auto-immune disease and the entity is disease treatment the physical for another entity

appearance as argument number 0

(diseaseMedicine ADHD Adderall Ingesting)	Medicine.kif 4765-4765	Attention deficit hyperactivity disorder is disease treatment Mydayis for ingesting
(diseaseMedicine Abatacept RheumatoidArthritis Ingesting)	Medicine.kif 4951-4951	Abatacept is disease treatment rheumatoid arthritis for ingesting
(diseaseMedicine AllergicRhinitis Chlorpheniramine Ingesting)	Medicine.kif 5634-5634	Hay fever is disease treatment Chlorpheniramine for ingesting
(diseaseMedicine AllergicRhinitis Levocetirizine Ingesting)	Medicine.kif 5255-5255	Hay fever is disease treatment Levocetirizine for ingesting
(diseaseMedicine Anthrax Ciprofloxacin Ingesting)	WMD.kif 1140-1140	Anthrax is disease treatment ciprofloxacin for ingesting
(diseaseMedicine Anthrax Doxycycline Ingesting)	WMD.kif 1139-1139	Anthrax is disease treatment doxycycline for ingesting
(diseaseMedicine Anxiety Benzodiazepine Ingesting)	Medicine.kif 3882-3882	Anxiety is disease treatment benzodiazepine for ingesting
(diseaseMedicine AttentionDeficitHyperactivityDisorder Lisdexamfetamine Ingesting)	Medicine.kif 3979-3979	AttentionDeficitHyperactivityDisorder is disease treatment lisdexamfetamine for ingesting
(diseaseMedicine BacterialPneumonia Clarithromycin Ingesting)	Medicine.kif 3599-3599	Bacterial pneumonia is disease treatment clarithromycin for ingesting
(diseaseMedicine Beriberi VitaminB1 Ingesting)	Medicine.kif 2469-2469	Beriberi is disease treatment thiamine for ingesting
(diseaseMedicine BurkholderiaMallei Ciprofloxacin Ingesting)	WMD.kif 359-359	Burkholderia mallei is disease treatment ciprofloxacin for ingesting
(diseaseMedicine ChronicObstructivePulmonaryDisease Roflumilast Ingesting)	Medicine.kif 3932-3932	COPD is disease treatment roflumilast for ingesting
(diseaseMedicine CrohnsDisease MycophenolicAcid Ingesting)	Medicine.kif 4736-4736	Crohn's disease is disease treatment mycophenolic acid for ingesting
(diseaseMedicine CrohnsDisease Sulfasalazine Ingesting)	Medicine.kif 3915-3915	Crohn's disease is disease treatment sulfasalazine for ingesting
(diseaseMedicine Depression Escitalopram Ingesting)	Medicine.kif 4051-4051	Depressed is disease treatment escitalopram for ingesting
(diseaseMedicine Eczema Crisaborole TopicalApplication)	Medicine.kif 4377-4377	Atopic dermatitis is disease treatment crisaborole for topical application
(diseaseMedicine HeartAttack BetaBlocker Ingesting)	Medicine.kif 4679-4679	Myocardial infarction is disease treatment beta blocker for ingesting
(diseaseMedicine HeartPalpitations BetaBlocker Ingesting)	Medicine.kif 4680-4680	Palpitations is disease treatment beta blocker for ingesting
(diseaseMedicine HighBloodPressure BetaBlocker Ingesting)	Medicine.kif 4681-4681	Hypertension is disease treatment beta blocker for ingesting
(diseaseMedicine Hives Levocetirizine Ingesting)	Medicine.kif 5254-5254	Urticaria is disease treatment Levocetirizine for ingesting
(diseaseMedicine Insomnia Benzodiazepine Ingesting)	Medicine.kif 3883-3883	Insomnia is disease treatment benzodiazepine for ingesting
(diseaseMedicine LouseBorneTyphus OralAntibiotic Ingesting)	WMD.kif 273-273	Louse borne typhus is disease treatment oral antibiotic for ingesting
(diseaseMedicine Lupus Benelysta Ingesting)	Medicine.kif 4624-4624	Lupus is disease treatment Benelysta for ingesting
(diseaseMedicine Lupus Hydroxychloroquine Ingesting)	Medicine.kif 5617-5617	Lupus is disease treatment hydroxychloroquine for ingesting
(diseaseMedicine Lupus MycophenolicAcid Ingesting)	Medicine.kif 4737-4737	Lupus is disease treatment mycophenolic acid for ingesting

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: