No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1488-1490 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4602-4602 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1485-1485 |
Cholera est une instance de BacterialDisease |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1487-1487 |
Cholera est une instance de LifeThreateningDisease |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1486-1486 |
Cholera est une instance de VaccinatableDisease |