No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2546-2564 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2665-2685 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2637-2646 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2692-2708 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2588-2597 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2604-2613 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2572-2581 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2621-2630 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2715-2730 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29101-29107 |
|