No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5451-5451 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6312-6312 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6317-6317 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6313-6313 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6314-6314 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6315-6315 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5450-5450 |
Cotton fabric is a subclass of fabric |