We know that for Database Systems - the Consistency in ACID properties is part of the acronym:
A - Atomicity
C - Consistency
I - Isolation
D - Durability
We know that for NoSQL Systems, the Consistency in the CAP Theorem is part of the acronym:
C - Consistency
A - Availability
P - Partition tolerance
So it turns out that "consistency (predicate)" and "consistency (history)" are two distinct ideas that happen to share a word. It is always an error to substitute the distributed systems definition of "consistency" for the C in ACID.
My question is: Is the C in ACID is not the C in CAP?