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 12036-12048 |
|
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 31312-31319 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31175-31180 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31100-31105 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31153-31158 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31079-31084 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31048-31053 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30999-31004 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31204-31209 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31344-31349 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31226-31231 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31269-31274 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |