No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2819-2821 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11347-11347 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11350-11350 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11351-11351 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10097-10097 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11348-11348 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11349-11349 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11346-11346 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2818-2818 |
Level shape is an instance of shape attribute |