No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5263-5264 |
|
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 5265-5265 |
Sleeve is a subclass of a covering for arm |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5262-5262 |
Sleeve is a subclass of clothing |