No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5421-5425 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5405-5409 |
|
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 12014-12026 |
|
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 31316-31323 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31179-31184 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31112-31117 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31157-31162 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31091-31096 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31060-31065 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31011-31016 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31208-31213 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31348-31353 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31230-31235 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31273-31278 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |