Gonorrhea
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1160-1160 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4704-4704 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1159-1159 | Gonorrhea is an instance of bacterial disease |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1245-1245 | Gonorrhea is a biochemical agent syndrome of neisseria gonorrhoeae |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26256-26256 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26255-26255 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26254-26254 |