No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13409-13418 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 840-847 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13431-13440 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7159-7172 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12941-12947 |
|
No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 49-59 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12958-12963 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10491-10496 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12984-12997 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3973-3976 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18378-18387 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13309-13320 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13268-13274 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3089-3096 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12970-12982 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2772-2775 |
|