No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19700-19700 |
Unbreakable e' &o oposto 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 e' uma instancia de BreakabilityAttribute |