No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2858-2862 |
|
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. |
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 |
|
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. |
Dining.kif 689-695 |
|