usedInOperation
P9818
predicate
Indicates that something (such as a tool, method, or resource) is employed or applied during the execution of a particular operation or procedure.
All labels observed (12)
| Label | Occurrences |
|---|---|
| usedInOperation canonical | 114 |
| usedInMission | 107 |
| usesOperation | 90 |
| usesOperations | 8 |
| usedInProcedure | 7 |
| appliedInOperation | 4 |
| hasOperationalUse | 4 |
| usedInFactory | 4 |
| isUsedForOperations | 3 |
| isUsedInAlgorithm | 3 |
| usesDHOperation | 3 |
| usedForOperation | 2 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: usedInOperation
Generated description
Indicates that something (such as a tool, method, or resource) is employed or applied during the execution of a particular operation or procedure.
Sample triples (349)
| Subject | Object |
|---|---|
| Apollo command and service module | Apollo 15 via predicate surface "usedInMission" ⓘ |
| Apollo command and service module | Apollo 16 via predicate surface "usedInMission" ⓘ |
| Apollo command and service module | Apollo 17 via predicate surface "usedInMission" ⓘ |
| Apollo command and service module | Apollo–Soyuz Test Project via predicate surface "usedInMission" ⓘ |
| Marine expeditionary force | Operation Desert Storm ⓘ |
| Marine expeditionary force | Operation Iraqi Freedom ⓘ |
| Marine expeditionary force | Operation Enduring Freedom ⓘ |
| Supermarine Seafire | Operation Torch ⓘ |
| Supermarine Seafire | Allied landings in Sicily ⓘ |
| Supermarine Seafire | Allied landings in Italy ⓘ |
|
Tesla third-generation platform (Model 3/Y platform)
surface form:
Tesla third-generation platform
|
Gigafactory Shanghai
via predicate surface "usedInFactory"
ⓘ
surface form:
Tesla Gigafactory Shanghai
|
|
Tesla third-generation platform (Model 3/Y platform)
surface form:
Tesla third-generation platform
|
Tesla Fremont Factory via predicate surface "usedInFactory" ⓘ |
|
Tesla third-generation platform (Model 3/Y platform)
surface form:
Tesla third-generation platform
|
Gigafactory Berlin-Brandenburg
via predicate surface "usedInFactory"
ⓘ
surface form:
Tesla Gigafactory Berlin-Brandenburg
|
|
Tesla third-generation platform (Model 3/Y platform)
surface form:
Tesla third-generation platform
|
Gigafactory Texas
via predicate surface "usedInFactory"
ⓘ
surface form:
Tesla Gigafactory Texas
|
| Fibonacci sequence | Fibonacci search via predicate surface "isUsedInAlgorithm" ⓘ |
| Fibonacci sequence | Fibonacci heap via predicate surface "isUsedInAlgorithm" ⓘ |
| Fibonacci sequence | dynamic programming examples via predicate surface "isUsedInAlgorithm" ⓘ |
| Ulam sequence | addition via predicate surface "usesOperation" ⓘ |
| RAF Tristar | Operation Granby ⓘ |
| RAF Tristar | Operation Telic ⓘ |
| RAF Tristar | Operation Herrick ⓘ |
| Soviet deep operations doctrine | Operation Uranus via predicate surface "appliedInOperation" ⓘ |
| Soviet deep operations doctrine | Operation Bagration via predicate surface "appliedInOperation" ⓘ |
| Soviet deep operations doctrine | Vistula–Oder Offensive via predicate surface "appliedInOperation" ⓘ |
| Soviet deep operations doctrine | Belorussian strategic offensive operation via predicate surface "appliedInOperation" ⓘ |
| RAD750 |
Mars Reconnaissance Orbiter
via predicate surface "usedInMission"
ⓘ
surface form:
NASA Mars Reconnaissance Orbiter
|
| RAD750 |
Curiosity rover
via predicate surface "usedInMission"
ⓘ
surface form:
NASA Mars Science Laboratory Curiosity rover
|
| RAD750 |
Juno spacecraft
via predicate surface "usedInMission"
ⓘ
surface form:
NASA Juno spacecraft
|
| RAD750 |
Lunar Reconnaissance Orbiter
via predicate surface "usedInMission"
ⓘ
surface form:
NASA Lunar Reconnaissance Orbiter
|
| RAD750 |
Parker Solar Probe
via predicate surface "usedInMission"
ⓘ
surface form:
NASA Parker Solar Probe
|
| RAD750 |
New Horizons
via predicate surface "usedInMission"
ⓘ
surface form:
NASA New Horizons spacecraft
|
| RAD750 | James Webb Space Telescope spacecraft bus computer via predicate surface "usedInMission" ⓘ |
| RC5 | data-dependent rotations via predicate surface "usesOperation" ⓘ |
| RC5 | modular addition via predicate surface "usesOperation" ⓘ |
| RC5 | bitwise XOR via predicate surface "usesOperation" ⓘ |
| RC6 | integer addition modulo 2^w via predicate surface "usesOperation" ⓘ |
| RC6 | bitwise XOR via predicate surface "usesOperation" ⓘ |
| RC6 | data-dependent rotations via predicate surface "usesOperation" ⓘ |
| Euclidean metric | square root via predicate surface "usesOperation" ⓘ |
| Euclidean metric | sum of squares of coordinate differences via predicate surface "usesOperation" ⓘ |
| Ye-6S | Luna 10 via predicate surface "usedInMission" ⓘ |
| Ye-6S | Luna 11 via predicate surface "usedInMission" ⓘ |
| Ye-6S | Luna 12 via predicate surface "usedInMission" ⓘ |
| Ye-6S | Luna 14 via predicate surface "usedInMission" ⓘ |
|
Japanese Mitsubishi G4M "Betty" bombers
surface form:
Mitsubishi G4M
|
early Pacific campaigns ⓘ |
| DRDO Netra AEW&CS | Balakot airstrike support ⓘ |
| Thompson's algorithm for regular expression matching | concatenation via predicate surface "usesOperation" ⓘ |
| Thompson's algorithm for regular expression matching | alternation via predicate surface "usesOperation" ⓘ |
| Thompson's algorithm for regular expression matching | Kleene star via predicate surface "usesOperation" ⓘ |
| Thompson's algorithm for regular expression matching | epsilon transitions via predicate surface "usesOperation" ⓘ |