No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2546-2564 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2637-2646 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2588-2597 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2604-2613 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2523-2539 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2572-2581 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2621-2630 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2500-2516 |
|