hasTransformation
P89273
predicate
Indicates that one entity changes or is converted into another entity, capturing a transformation process or result.
Observed surface forms (5)
- hasTransformationTo ×3
- hasChangeOfVariable ×2
- hasIdentityAfterTransformation ×1
- hasTransformedForm ×1
- isTransformedBy ×1
Sample triples (22)
| Subject | Object |
|---|---|
| Anton Ego | rediscovers joy of food through Remy’s cooking ⓘ |
| CHV silo complex | from grain storage to cultural complex ⓘ |
| Camp Hialeah | conversion from military base to public park ⓘ |
| Cauchy–Euler equation | t = ln x via predicate surface "hasChangeOfVariable" ⓘ |
| Cauchy–Euler equation | x = e^t via predicate surface "hasChangeOfVariable" ⓘ |
| Gerald MacTeam | disturbing transformation ⓘ |
|
Gond painting recognized in contemporary Indian tribal art
surface form:
Gond painting
|
from domestic practice to gallery art ⓘ |
|
Gond painting recognized in contemporary Indian tribal art
surface form:
Gond painting
|
from ritual wall painting to marketable art form ⓘ |
| Israelite army | David’s act of courage via predicate surface "isTransformedBy" ⓘ |
| Lafayette Place, Manhattan | from residential street to part of a commercial thoroughfare ⓘ |
| Lambert series | can be inverted under suitable conditions to recover the underlying arithmetic function ⓘ |
| Langdon Everett Caul | Abraham Sapien via predicate surface "hasIdentityAfterTransformation" ⓘ |
| OS National Grid | WGS84 via predicate surface "hasTransformationTo" NERFINISHED ⓘ |
| OSGB grid | WGS84 via predicate surface "hasTransformationTo" NERFINISHED ⓘ |
| Ordnance Survey National Grid | WGS84 via predicate surface "hasTransformationTo" ⓘ |
|
Ramon
surface form:
Raginmund
|
Ramon via predicate surface "hasTransformedForm" NERFINISHED ⓘ |
| Senftenberg | post-mining lake landscape ⓘ |
| Shop Direct Group | shift from catalogue to online retail ⓘ |
| The Six Swans | six brothers transformed into swans by enchantment ⓘ |
| linear temporal logic | translation to Büchi automata ⓘ |
| linear temporal logic | translation to alternating automata ⓘ |
| linear temporal logic | translation to generalized Büchi automata ⓘ |