No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3144-3145 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3182-3182 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3184-3184 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3187-3187 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2986-2986 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3181-3181 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3186-3186 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3185-3185 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3183-3183 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3188-3188 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3180-3180 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3143-3143 |
Sculpture is a subclass of art work |