No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1801-1802 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7052-7052 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6609-6609 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7050-7050 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7054-7054 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1798-1798 |
Hepatitis b is an instance of hepatitis |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1800-1800 |
Hepatitis b is an instance of life threatening disease |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1799-1799 |
Hepatitis b is an instance of vaccinatable disease |