No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2654-2674 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2681-2697 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2704-2719 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1558-1578 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2744-2757 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 69-75 |
|