Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - diseaseMedicine
diseaseMedicine

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
No TPTP formula. May not be expressible in strict first order. WMD.kif 963-967
No TPTP formula. May not be expressible in strict first order. WMD.kif 941-955
No TPTP formula. May not be expressible in strict first order. WMD.kif 1274-1276
No TPTP formula. May not be expressible in strict first order. WMD.kif 1322-1326
No TPTP formula. May not be expressible in strict first order. WMD.kif 1288-1290
No TPTP formula. May not be expressible in strict first order. WMD.kif 1315-1317

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 957-961
No TPTP formula. May not be expressible in strict first order. WMD.kif 963-967
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1374-1381
No TPTP formula. May not be expressible in strict first order. WMD.kif 1278-1282
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4614-4619

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 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