No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1044-1059 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 3062-3075 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 3030-3034 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 3040-3044 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 3091-3103 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1026-1030 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1012-1020 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 900-909 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 318-325 |
|