No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 820-841 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 526-541 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 334-349 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 351-365 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7517-7531 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 850-875 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 549-568 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 374-396 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 398-418 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1702-1714 |
|