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 |
|---|---|
| SHA-1 | logical functions via predicate surface "usesOperation" ⓘ |
| Reggiane Re.2001 | Defense of Italian mainland NERFINISHED ⓘ |
| Reggiane Re.2001 | Defense of Sicily NERFINISHED ⓘ |
| Reggiane Re.2001 | Defense of Naples NERFINISHED ⓘ |
| Reggiane Re.2001 | Defense of Rome NERFINISHED ⓘ |
| CC-150 Polaris | NATO airlift missions NERFINISHED ⓘ |
| CC-150 Polaris | humanitarian relief missions ⓘ |
| CC-150 Polaris | strategic deployments of Canadian Forces ⓘ |
| Serna-class landing craft | Black Sea amphibious operations ⓘ |
| HC2 | humanitarian relief missions ⓘ |
| Luhn algorithm variant | expansion of alphabetic characters into two digits via predicate surface "usesOperation" ⓘ |
| Luhn algorithm variant | doubling of alternate digits from the right via predicate surface "usesOperation" ⓘ |
| Luhn algorithm variant | summation of individual digits via predicate surface "usesOperation" ⓘ |
| Luhn algorithm variant | modulo 10 operation via predicate surface "usesOperation" ⓘ |
| Fermat primality test | modular exponentiation via predicate surface "usesOperation" ⓘ |
| E-2A | Luna 3 via predicate surface "usedInMission" NERFINISHED ⓘ |
| La Sirena | Search for Bruce Maddox via predicate surface "usedInMission" ⓘ |
| La Sirena | Journey to the Artifact via predicate surface "usedInMission" NERFINISHED ⓘ |
| La Sirena | Journey to Coppelius via predicate surface "usedInMission" NERFINISHED ⓘ |
| La Sirena | Defense of Coppelius via predicate surface "usedInMission" NERFINISHED ⓘ |
|
Betty
surface form:
Mitsubishi G4M
|
early campaigns in the Pacific ⓘ |
| F-1 engine | Apollo 8 via predicate surface "usedInMission" NERFINISHED ⓘ |
| F-1 engine | Apollo 11 via predicate surface "usedInMission" NERFINISHED ⓘ |
| F-1 engine | Apollo 17 via predicate surface "usedInMission" NERFINISHED ⓘ |
| Unicode normalization | canonical decomposition via predicate surface "usesOperation" ⓘ |
| Unicode normalization | canonical composition via predicate surface "usesOperation" ⓘ |
| Unicode normalization | compatibility decomposition via predicate surface "usesOperation" ⓘ |
| Agent White | Operation Ranch Hand NERFINISHED ⓘ |
| Sentinel R1 | NATO operations over Libya ⓘ |
| Sentinel R1 | operations against ISIS ⓘ |
| Pólya enumeration theorem | substitution into cycle index polynomial via predicate surface "usesOperation" ⓘ |
| Pólya enumeration theorem | exponential generating function via predicate surface "usesOperation" ⓘ |
| Boeing E-3D Sentry AEW1 | NATO air policing missions ⓘ |
| Zeller’s congruence | modular arithmetic via predicate surface "usesOperation" ⓘ |
| Zeller’s congruence | integer division via predicate surface "usesOperation" ⓘ |
| Armstrong Whitworth Albemarle | airborne operations via predicate surface "usedForOperation" ⓘ |
| Armstrong Whitworth Albemarle | paratroop transport via predicate surface "usedForOperation" ⓘ |
| Armstrong Whitworth Albemarle | Operation Overlord NERFINISHED ⓘ |
| Armstrong Whitworth Albemarle | D‑Day airborne landings NERFINISHED ⓘ |
| Armstrong Whitworth Albemarle | Operation Tonga NERFINISHED ⓘ |
| Armstrong Whitworth Albemarle | Operation Market Garden NERFINISHED ⓘ |
| CBC-MAC | XOR of plaintext block with previous ciphertext block via predicate surface "usesOperation" ⓘ |
| Square cipher | byte-oriented transformations via predicate surface "usesOperation" ⓘ |
| Square cipher | linear diffusion layer via predicate surface "usesOperation" ⓘ |
| Square cipher | nonlinear S-box layer via predicate surface "usesOperation" ⓘ |
|
Whirlpool hash function
surface form:
Whirlpool
|
byte substitution via predicate surface "usesOperations" ⓘ |
|
Whirlpool hash function
surface form:
Whirlpool
|
row shift via predicate surface "usesOperations" ⓘ |
|
Whirlpool hash function
surface form:
Whirlpool
|
column mixing via predicate surface "usesOperations" ⓘ |
|
Whirlpool hash function
surface form:
Whirlpool
|
round key addition via predicate surface "usesOperations" ⓘ |
| RadioGatún | bitwise XOR via predicate surface "usesOperation" ⓘ |