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 |
|---|---|
| New Mexico-class battleship |
Battle of the Philippines (1944–1945)
ⓘ
surface form:
Philippines campaign (1944–1945)
|
| New Mexico-class battleship |
Battle of Okinawa
ⓘ
surface form:
Okinawa campaign
|
| New Mexico-class battleship | Aleutian Islands campaign ⓘ |
| AddRoundKey | bitwise XOR via predicate surface "usesOperation" ⓘ |
| Runway 5 | takeoff via predicate surface "isUsedForOperations" ⓘ |
| Runway 5 | landing via predicate surface "isUsedForOperations" ⓘ |
| Runway 5 | touch-and-go via predicate surface "isUsedForOperations" ⓘ |
| MV-22B Osprey | Operation Iraqi Freedom ⓘ |
| MV-22B Osprey | Operation Enduring Freedom ⓘ |
| Dean of the House of Commons (Canada) | opening of a new Parliament via predicate surface "usedInProcedure" ⓘ |
| Dean of the House of Commons (Canada) | first sitting after a general election via predicate surface "usedInProcedure" ⓘ |
| Dean of the House of Commons (Canada) | election of a new Speaker after a vacancy via predicate surface "usedInProcedure" ⓘ |
| ChaCha | add-rotate-xor via predicate surface "usesOperation" ⓘ |
| ChaCha | ARX construction via predicate surface "usesOperation" ⓘ |
| ChaCha | quarter-round function via predicate surface "usesOperation" ⓘ |
|
Airspeed Horsa glider
surface form:
Airspeed Horsa
|
Allied invasion of Sicily
ⓘ
surface form:
Operation Husky
|
|
Airspeed Horsa glider
surface form:
Airspeed Horsa
|
Allied invasion of Sicily
ⓘ
surface form:
invasion of Sicily
|
|
Airspeed Horsa glider
surface form:
Airspeed Horsa
|
Operation Overlord ⓘ |
|
Airspeed Horsa glider
surface form:
Airspeed Horsa
|
Battle of Normandy
ⓘ
surface form:
Normandy landings
|
|
Airspeed Horsa glider
surface form:
Airspeed Horsa
|
Operation Tonga ⓘ |
|
Airspeed Horsa glider
surface form:
Airspeed Horsa
|
Operation Mallard ⓘ |
|
Airspeed Horsa glider
surface form:
Airspeed Horsa
|
Operation Market Garden ⓘ |
|
Airspeed Horsa glider
surface form:
Airspeed Horsa
|
Arnhem 1944
ⓘ
surface form:
Battle of Arnhem
|
|
Airspeed Horsa glider
surface form:
Airspeed Horsa
|
Rhine crossing ⓘ |
|
Airspeed Horsa glider
surface form:
Airspeed Horsa
|
Operation Varsity ⓘ |
| bouncing bomb | Operation Chastise ⓘ |
| Aichi E13A | attack on Pearl Harbor ⓘ |
| Aichi E13A |
Allied operations in the Pacific Theater of World War II
ⓘ
surface form:
Pacific War campaigns
|
| Davis–Putnam algorithm | variable elimination via predicate surface "usesOperation" ⓘ |
| Davis–Putnam algorithm | clause resolution via predicate surface "usesOperation" ⓘ |
| Noise_IK pattern |
Diffie–Hellman key exchange
via predicate surface "usesOperation"
ⓘ
surface form:
Diffie-Hellman key agreement
|
| Noise_IK pattern | symmetric-key encryption via predicate surface "usesOperation" ⓘ |
| Noise_IK pattern | hash functions via predicate surface "usesOperation" ⓘ |
| Noise_NK pattern | e (initiator ephemeral) with rs (responder static) via predicate surface "usesDHOperation" ⓘ |
| Noise_NK pattern | e (initiator ephemeral) with re (responder ephemeral) via predicate surface "usesDHOperation" ⓘ |
| Noise_NK pattern | s (responder static) with e (initiator ephemeral) via predicate surface "usesDHOperation" ⓘ |
| Noise_XX pattern | Diffie–Hellman key exchange via predicate surface "usesOperation" ⓘ |
| Noise_XX pattern | key derivation function via predicate surface "usesOperation" ⓘ |
| Noise_XX pattern | authenticated encryption with associated data via predicate surface "usesOperation" ⓘ |
| SHA-256 | bitwise logical functions via predicate surface "usesOperations" ⓘ |
| SHA-256 | modular addition via predicate surface "usesOperations" ⓘ |
| SHA-256 | bitwise rotations via predicate surface "usesOperations" ⓘ |
| SHA-256 | bitwise shifts via predicate surface "usesOperations" ⓘ |
| Do 17Z | Invasion of Poland ⓘ |
| Do 17Z | Battle of France ⓘ |
| Do 17Z | Battle of Britain ⓘ |
| Do 17Z | Balkan Campaign ⓘ |
| Do 17Z | Eastern Front ⓘ |
| S-I | SA-1 via predicate surface "usedInMission" ⓘ |
| S-I | SA-2 via predicate surface "usedInMission" ⓘ |