No TPTP formula. May not be expressible in strict first order. |
Dining.kif 189-201 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 109-119 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 98-107 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 88-93 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 51-62 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 64-76 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1558-1578 |
|