|
|
  Plague
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 413-413 | diseaseSymptom Plague and Fever |
| 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 est une instance de BacterialDisease |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 412-412 | Plague est une instance de VaccinatableDisease |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 406-406 | biochemicalAgentSyndrome YersiniaPestis and Plague |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 418-418 | BubonicPlague est un sous-attribut de Plague |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 423-423 | PneumonicPlague est un sous-attribut de 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 |
|
|
|
