No TPTP formula. May not be expressible in strict first order. |
Dining.kif 762-767 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2883-2892 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2903-2914 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2864-2873 |
|
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. |
Hotel.kif 2925-2940 |
|