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 est une instance de BacterialDisease |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1245-1245 | biochemicalAgentSyndrome NeisseriaGonorrhoeae and Gonorrhea |
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 |