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	Le nombre 1 argument de diseaseMedicine est une instance de maladie ou syndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 933-933	Le nombre 2 argument de diseaseMedicine est une sous-classe de substance biologique active
No TPTP formula. May not be expressible in strict first order.	WMD.kif 934-934	Le nombre 3 argument de diseaseMedicine est une sous-classe de processus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 931-931	diseaseMedicine est une instance de pr�dicat ternaire

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 maladie ou syndrome, substance biologique active and processus processus est une sous-classe de processus diseaseMedicine maladie ou syndrome, substance biologique active and processus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 963-967	diseaseMedicine maladie ou syndrome, substance biologique active and processus substance biologique active est une sous-classe de substance biologique active diseaseMedicine maladie ou syndrome, substance biologique active and processus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 941-955	diseaseMedicine maladie ou syndrome, substance biologique active and processus entit� position temporel, entit� and entit� maladie ou syndrome est un attribut de entit� pendant position temporel entit� est une instance de processus temps d'existence de entit� est une partie de position temporel entit� exp�rimente entit� entit� est un patient de entit� entit� est une instance de substance biologique active augmente la probabilit� de maladie ou syndrome est un attribut de entit� pendant immediatement apr�s position temporel
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1274-1276	diseaseMedicine maladie ou syndrome, Antibiotic and processus maladie ou syndrome est une instance de BacterialDisease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1322-1326	diseaseMedicine maladie ou syndrome, Bacitracin and processus maladie ou syndrome est une instance de BacterialDisease processus est une sous-classe de mettre
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1288-1290	diseaseMedicine maladie ou syndrome, OralAntibiotic and processus processus est une sous-classe de ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1315-1317	diseaseMedicine maladie ou syndrome, TopicalAntibiotic and processus processus est une sous-classe de couvrir

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 957-961	diseaseMedicine maladie ou syndrome, substance biologique active and processus processus est une sous-classe de processus diseaseMedicine maladie ou syndrome, substance biologique active and processus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 963-967	diseaseMedicine maladie ou syndrome, substance biologique active and processus substance biologique active est une sous-classe de substance biologique active diseaseMedicine maladie ou syndrome, substance biologique active and processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1374-1381	InfectiousDisease est un attribut de entit� Diabetes est un attribut de entit� ImpairedBodyPartFn Foot est un attribut de entit� pendant position temporel diseaseMedicine InfectiousDisease, Ertapenem and Injecting pendant position temporel
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1278-1282	Maladie ou syndrome est une instance de ViralDisease processus diseaseMedicine maladie ou syndrome, Antibiotic and processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4614-4619	Physique est une sous-classe de Immunosuppressive physique a pour but entit� est une instance de AutoImmuneDisorder diseaseMedicine entit�, physique and entit�

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4765-4765	diseaseMedicine ADHD, Adderall and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4951-4951	diseaseMedicine Abatacept, RheumatoidArthritis and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5634-5634	diseaseMedicine AllergicRhinitis, Chlorpheniramine and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5255-5255	diseaseMedicine AllergicRhinitis, Levocetirizine and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1140-1140	diseaseMedicine Anthrax, Ciprofloxacin and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1139-1139	diseaseMedicine Anthrax, Doxycycline and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3882-3882	diseaseMedicine anxiété, Benzodiazepine and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3979-3979	diseaseMedicine AttentionDeficitHyperactivityDisorder, Lisdexamfetamine and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3599-3599	diseaseMedicine BacterialPneumonia, Clarithromycin and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2469-2469	diseaseMedicine Beriberi, VitaminB1 and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 359-359	diseaseMedicine BurkholderiaMallei, Ciprofloxacin and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3932-3932	diseaseMedicine ChronicObstructivePulmonaryDisease, Roflumilast and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4736-4736	diseaseMedicine CrohnsDisease, MycophenolicAcid and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3915-3915	diseaseMedicine CrohnsDisease, Sulfasalazine and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4051-4051	diseaseMedicine Depression, Escitalopram and ing�rer
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 ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4680-4680	diseaseMedicine HeartPalpitations, BetaBlocker and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4681-4681	diseaseMedicine HighBloodPressure, BetaBlocker and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5254-5254	diseaseMedicine Hives, Levocetirizine and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3883-3883	diseaseMedicine Insomnia, Benzodiazepine and ing�rer
No TPTP formula. May not be expressible in strict first order.	WMD.kif 273-273	diseaseMedicine LouseBorneTyphus, OralAntibiotic and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4624-4624	diseaseMedicine Lupus, Benelysta and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5617-5617	diseaseMedicine Lupus, Hydroxychloroquine and ing�rer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4737-4737	diseaseMedicine Lupus, MycophenolicAcid and ing�rer

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: