SUMO   View all facts   Glossary   Help
Entity > Abstract > Attribute > ShapeProperty > Pliable
Next ShapePropertyRigid    UpShapeProperty    Previous ShapePropertyFillable   

Pliable
subjectfact 
Pliabledocumentation The shape of an Object with this Attribute can be altered2001-11-30 13:35:00.0
has axiom
(=>
(and
(instance ?PROC ShapeAlteration)
(patient ?PROC ?OBJ))
(attribute ?OBJ Pliable))
2001-11-30 13:35:00.0
is an instance of ShapeProperty2001-11-30 13:35:00.0
Attributeis disjoint from Quantity2001-11-30 13:33:40.0
is first domain of contraryProperty2001-11-30 13:33:40.0
is first domain of ExtensionFn2001-11-30 13:33:40.0
is first domain of subAttribute2001-11-30 13:33:40.0
is first domain of successorAttribute2001-11-30 13:33:40.0
is first domain of successorAttributeClosure2001-11-30 13:33:40.0
is second domain of attribute2001-11-30 13:33:40.0
is second domain of contraryProperty2001-11-30 13:33:40.0
is second domain of manner2001-11-30 13:33:40.0
is second domain of property2001-11-30 13:33:40.0
is second domain of subAttribute2001-11-30 13:33:40.0
is second domain of successorAttribute2001-11-30 13:33:40.0
is second domain of successorAttributeClosure2001-11-30 13:33:40.0

Next ShapePropertyRigid    UpShapeProperty    Previous ShapePropertyFillable