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 2894-2903 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2914-2925 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2875-2884 |
|
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 2936-2951 |
|