No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 603-608 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1946-1957 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 522-538 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1135-1148 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 147-154 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6116-6130 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 317-332 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 45-52 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11437-11442 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7886-7890 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 103-108 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 110-117 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1702-1705 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 905-919 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 880-889 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4313-4316 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 619-624 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1738-1750 |
|