Plague(plague) | pest, pestilence, pestis, plague, septicemic_plague |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 413-413 | Fever is a disease symptom of plague |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 414-416 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10191-10191 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11619-11619 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11620-11620 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11621-11621 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 411-411 | Plague is an instance of bacterial disease |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 412-412 | Plague is an instance of vaccinatable disease |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 406-406 | Plague is a biochemical agent syndrome of yersinia pestis |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 418-418 | Bubonic plague is a subattribute of plague |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 423-423 | Pneumonic plague is a subattribute of plague |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46002-46002 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46001-46001 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46000-46000 |