No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 636-654 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1589-1597 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1192-1202 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1156-1166 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1257-1267 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27006-27032 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15179-15191 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13708-13714 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12622-12629 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5072-5074 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3011-3013 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14482-14497 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1387-1407 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 1275-1301 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26262-26276 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26300-26308 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25921-25936 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14460-14466 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1506-1519 |
|