No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10054-10059 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9925-9931 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9933-9938 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2488-2501 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2467-2478 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1271-1292 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4055-4059 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9623-9629 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12809-12814 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1075-1082 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9615-9621 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9609-9613 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1271-1278 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3124-3141 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9531-9535 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10108-10115 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10098-10106 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9902-9905 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9615-9622 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6096-6102 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10990-10997 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5202-5207 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4146-4152 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9721-9727 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 724-726 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |