No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 139-150 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 130-137 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 871-897 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 569-589 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 396-417 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 419-438 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23260-23267 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23289-23296 |
|
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. |
Transportation.kif 2692-2701 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1044-1059 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3791-3794 |
|