No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2627-2647 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2654-2670 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2677-2692 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1533-1553 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2714-2726 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 64-70 |
|