No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2535-2553 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2626-2635 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2577-2586 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2593-2602 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2512-2528 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2561-2570 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2610-2619 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2489-2505 |
|