|
|
  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 | 淋病 是 细菌性疾病 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1245-1245 | 淋病 是 淋球菌 的 biochemical 病毒征兆 |
| 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 |
|
|
|
