provesTo
P163271
predicate
Indicates that one entity demonstrates or establishes the truth or validity of something to another entity.
Observed surface forms (1)
- canProve ×1
Sample triples (3)
| Subject | Object |
|---|---|
| Harold Hickory | his family ⓘ |
| Harold Hickory | his community ⓘ |
| Cadence SMV | correctness of temporal properties via predicate surface "canProve" ⓘ |