TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 935-939
No TPTP formula. May not be expressible in strict first order.	WMD.kif 932-932	The number 1 argument of disease treatment is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 933-933	The number 2 argument of disease treatment is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 934-934	The number 3 argument of disease treatment is a subclass of process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 931-931	disease treatment is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 780-780
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 779-779
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 778-778
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19824-19824
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19823-19823
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19822-19822

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4765-4765	Attention deficit hyperactivity disorder is disease treatment Mydayis for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4951-4951	Abatacept is disease treatment rheumatoid arthritis for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5634-5634	Hay fever is disease treatment Chlorpheniramine for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5255-5255	Hay fever is disease treatment Levocetirizine for ingesting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1140-1140	Anthrax is disease treatment ciprofloxacin for ingesting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1139-1139	Anthrax is disease treatment doxycycline for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3882-3882	Anxiety is disease treatment benzodiazepine for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3979-3979	AttentionDeficitHyperactivityDisorder is disease treatment lisdexamfetamine for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3599-3599	Bacterial pneumonia is disease treatment clarithromycin for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2469-2469	Beriberi is disease treatment thiamine for ingesting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 359-359	Burkholderia mallei is disease treatment ciprofloxacin for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3932-3932	COPD is disease treatment roflumilast for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4736-4736	Crohn's disease is disease treatment mycophenolic acid for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3915-3915	Crohn's disease is disease treatment sulfasalazine for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4051-4051	Depressed is disease treatment escitalopram for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4377-4377	Atopic dermatitis is disease treatment crisaborole for topical application
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4679-4679	Myocardial infarction is disease treatment beta blocker for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4680-4680	Palpitations is disease treatment beta blocker for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4681-4681	Hypertension is disease treatment beta blocker for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5254-5254	Urticaria is disease treatment Levocetirizine for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3883-3883	Insomnia is disease treatment benzodiazepine for ingesting
No TPTP formula. May not be expressible in strict first order.	WMD.kif 273-273	Louse borne typhus is disease treatment oral antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4624-4624	Lupus is disease treatment Benelysta for ingesting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5617-5617	Lupus is disease treatment hydroxychloroquine for ingesting
No TPTP formula. May not be expressible in strict first order.	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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: