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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Doxycycline

 Sigma KEE - Doxycycline
Doxycycline

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1297-1300
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3802-3810
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4661-4661
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31592-31592 roomTempState Doxycycline and Solid
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3812-3812 sideEffect Doxycycline and Diarrhea
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3811-3811 sideEffect Doxycycline and Nausea
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3813-3813 sideEffect Doxycycline and Vomiting
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3800-3800 Doxycycline e' uma sub-classe de Antibiotic
No TPTP formula. May not be expressible in strict first order. WMD.kif 1296-1296 Doxycycline e' uma sub-classe de OralAntibiotic

appearance as argument number 2
-------------------------


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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