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 479-490 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2951-2963 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1029-1035 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1243-1254 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1224-1236 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1042-1050 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2245-2252 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1827-1848 |
|