No TPTP formula. May not be expressible in strict first order. | Hotel.kif 419-438 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 189-201 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 346-361 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 364-378 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 396-417 |
|