No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1585-1590 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1597-1601 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1628-1630 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1619-1621 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1608-1612 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1638-1644 |
|