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	O argumento numero 1 de diseaseMedicine e' uma instancia de Doenca ou Sindrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 933-933	O argumento numero 2 de diseaseMedicine e' uma sub-classe de Substancia Biologica Ativa
No TPTP formula. May not be expressible in strict first order.	WMD.kif 934-934	O argumento numero 3 de diseaseMedicine e' uma sub-classe de Processo
No TPTP formula. May not be expressible in strict first order.	WMD.kif 931-931	diseaseMedicine e' uma instancia de Predicado Ternario

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	diseaseMedicine Doenca ou Sindrome, Substancia Biologica Ativa and Processo Processo e' uma sub-classe de Processo diseaseMedicine Doenca ou Sindrome, Substancia Biologica Ativa and Processo
No TPTP formula. May not be expressible in strict first order.	WMD.kif 963-967	diseaseMedicine Doenca ou Sindrome, Substancia Biologica Ativa and Processo Substancia Biologica Ativa e' uma sub-classe de Substancia Biologica Ativa diseaseMedicine Doenca ou Sindrome, Substancia Biologica Ativa and Processo
No TPTP formula. May not be expressible in strict first order.	WMD.kif 941-955	diseaseMedicine Doenca ou Sindrome, Substancia Biologica Ativa and Processo Entidade Posicao Temporal, Entidade and Entidade Doenca ou Sindrome e' um atributo de Entidade vale durante Posicao Temporal Entidade e' uma instancia de Processo tempo de existencia de Entidade e' uma &parte de Posicao Temporal Entidade experimenta Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Substancia Biologica Ativa aumenta a probabilidade de Doenca ou Sindrome e' um atributo de Entidade vale durante imediatemente apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1274-1276	diseaseMedicine Doenca ou Sindrome, Antibiotic and Processo Doenca ou Sindrome e' uma instancia de BacterialDisease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1322-1326	diseaseMedicine Doenca ou Sindrome, Bacitracin and Processo Doenca ou Sindrome e' uma instancia de BacterialDisease Processo e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1288-1290	diseaseMedicine Doenca ou Sindrome, OralAntibiotic and Processo Processo e' uma sub-classe de Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1315-1317	diseaseMedicine Doenca ou Sindrome, TopicalAntibiotic and Processo Processo e' uma sub-classe de Cobrir

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 957-961	diseaseMedicine Doenca ou Sindrome, Substancia Biologica Ativa and Processo Processo e' uma sub-classe de Processo diseaseMedicine Doenca ou Sindrome, Substancia Biologica Ativa and Processo
No TPTP formula. May not be expressible in strict first order.	WMD.kif 963-967	diseaseMedicine Doenca ou Sindrome, Substancia Biologica Ativa and Processo Substancia Biologica Ativa e' uma sub-classe de Substancia Biologica Ativa diseaseMedicine Doenca ou Sindrome, Substancia Biologica Ativa and Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1374-1381	InfectiousDisease e' um atributo de Entidade Diabetes e' um atributo de Entidade ImpairedBodyPartFn Foot e' um atributo de Entidade vale durante Posicao Temporal diseaseMedicine InfectiousDisease, Ertapenem and Injecting vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1278-1282	Doenca ou Sindrome e' uma instancia de ViralDisease Processo diseaseMedicine Doenca ou Sindrome, Antibiotic and Processo
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4614-4619	Fisico e' uma sub-classe de Immunosuppressive Fisico tem por fim Entidade e' uma instancia de AutoImmuneDisorder diseaseMedicine Entidade, Fisico and Entidade

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4765-4765	diseaseMedicine ADHD, Adderall and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4951-4951	diseaseMedicine Abatacept, RheumatoidArthritis and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5634-5634	diseaseMedicine AllergicRhinitis, Chlorpheniramine and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5255-5255	diseaseMedicine AllergicRhinitis, Levocetirizine and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1140-1140	diseaseMedicine Anthrax, Ciprofloxacin and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1139-1139	diseaseMedicine Anthrax, Doxycycline and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3882-3882	diseaseMedicine Anxiety, Benzodiazepine and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3979-3979	diseaseMedicine AttentionDeficitHyperactivityDisorder, Lisdexamfetamine and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3599-3599	diseaseMedicine BacterialPneumonia, Clarithromycin and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2469-2469	diseaseMedicine Beriberi, VitaminB1 and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 359-359	diseaseMedicine BurkholderiaMallei, Ciprofloxacin and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3932-3932	diseaseMedicine ChronicObstructivePulmonaryDisease, Roflumilast and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4736-4736	diseaseMedicine CrohnsDisease, MycophenolicAcid and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3915-3915	diseaseMedicine CrohnsDisease, Sulfasalazine and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4051-4051	diseaseMedicine Depression, Escitalopram and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4377-4377	diseaseMedicine Eczema, Crisaborole and TopicalApplication
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4679-4679	diseaseMedicine HeartAttack, BetaBlocker and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4680-4680	diseaseMedicine HeartPalpitations, BetaBlocker and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4681-4681	diseaseMedicine HighBloodPressure, BetaBlocker and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5254-5254	diseaseMedicine Hives, Levocetirizine and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3883-3883	diseaseMedicine Insomnia, Benzodiazepine and Ingerir
No TPTP formula. May not be expressible in strict first order.	WMD.kif 273-273	diseaseMedicine LouseBorneTyphus, OralAntibiotic and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4624-4624	diseaseMedicine Lupus, Benelysta and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5617-5617	diseaseMedicine Lupus, Hydroxychloroquine and Ingerir
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4737-4737	diseaseMedicine Lupus, MycophenolicAcid and Ingerir

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: