No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5422-5426 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5406-5410 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1452-1457 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1127-1140 |
|
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. |
Hotel.kif 841-862 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 346-361 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 364-378 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 811-832 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12060-12072 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1696-1704 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1902-1914 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 479-490 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31348-31355 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31211-31216 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31136-31141 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31189-31194 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31115-31120 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31084-31089 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31035-31040 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31240-31245 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31380-31385 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31262-31267 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31305-31310 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |