No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1260-1260 |
Smallpox is a biochemical agent syndrome of variola minor |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1261-1262 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6954-6954 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8202-8202 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8203-8203 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8205-8205 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8206-8206 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8208-8208 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1259-1259 |
Variola minor is a subclass of viral agent |