No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19700-19700 |
Unbreakable est l'oppos� de Fragile |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19701-19702 |
|
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 19699-19699 |
Unbreakable est une instance de BreakabilityAttribute |