No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19672-19672 |
Unbreakable is the opposite of fragile |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19673-19674 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12092-12092 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10316-10316 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12093-12093 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12094-12094 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12096-12096 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19671-19671 |
Unbreakable is an instance of breakability attribute |