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