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 |