No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5268-5269 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7881-7881 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7880-7880 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7879-7879 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6864-6864 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7878-7878 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5270-5270 |
Sleeve is a subclass of a covering for arm |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5267-5267 |
Sleeve is a subclass of clothing |