No TPTP formula. May not be expressible in strict first order. |
WMD.kif 957-961 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1315-1317 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4614-4619 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1288-1290 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1322-1326 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 963-967 |
|