No TPTP formula. May not be expressible in strict first order. |
Dining.kif 772-795 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 732-742 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 711-724 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2973-2981 |
|
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. |
Dining.kif 659-665 |
|