hasApplicationDomain
P9752
predicate
Indicates that something is associated with, used in, or relevant to a particular field, area, or domain of application.
All labels observed (2)
| Label | Occurrences |
|---|---|
| hasApplicationArea | 104 |
| hasApplicationDomain canonical | 79 |
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: hasApplicationDomain
Generated description
Indicates that something is associated with, used in, or relevant to a particular field, area, or domain of application.
Sample triples (183)
| Subject | Object |
|---|---|
| PRISM probabilistic model checker | computer networks ⓘ |
| PRISM probabilistic model checker | security and cryptographic protocols ⓘ |
| PRISM probabilistic model checker | systems biology ⓘ |
| PRISM probabilistic model checker | embedded systems ⓘ |
| PRISM probabilistic model checker | autonomous systems ⓘ |
| Constrained Control and Estimation | aerospace control systems ⓘ |
| Constrained Control and Estimation | process control ⓘ |
| Constrained Control and Estimation | robotics control ⓘ |
| Constrained Control and Estimation | automotive control systems ⓘ |
| Gaofen-16 | civilian ⓘ |
| Gaofen-16 | governmental ⓘ |
| Singularity Theory | dynamical systems via predicate surface "hasApplicationArea" ⓘ |
| Singularity Theory | mechanics via predicate surface "hasApplicationArea" ⓘ |
| Singularity Theory | optics via predicate surface "hasApplicationArea" ⓘ |
| Singularity Theory | control theory via predicate surface "hasApplicationArea" ⓘ |
| Singularity Theory | singularities in physical models via predicate surface "hasApplicationArea" ⓘ |
| Pebax | sports industry ⓘ |
| Pebax | medical industry ⓘ |
| Pebax | industrial applications ⓘ |
|
PLL
surface form:
Pall Corporation
|
water treatment via predicate surface "hasApplicationArea" ⓘ |
|
PLL
surface form:
Pall Corporation
|
medical and healthcare via predicate surface "hasApplicationArea" ⓘ |
|
PLL
surface form:
Pall Corporation
|
laboratory research via predicate surface "hasApplicationArea" ⓘ |
|
PLL
surface form:
Pall Corporation
|
industrial process filtration via predicate surface "hasApplicationArea" ⓘ |
|
PLL
surface form:
Pall Corporation
|
environmental protection via predicate surface "hasApplicationArea" ⓘ |
| SMTInterpol | formal verification ⓘ |
| SMTInterpol | software model checking ⓘ |
| SMTInterpol | hardware verification ⓘ |
| SMTInterpol | static analysis ⓘ |
| SMTInterpol | program synthesis ⓘ |
| Intelligent Sensing Group | advanced driver-assistance systems via predicate surface "hasApplicationArea" ⓘ |
| Intelligent Sensing Group | machine vision via predicate surface "hasApplicationArea" ⓘ |
| Intelligent Sensing Group | industrial automation via predicate surface "hasApplicationArea" ⓘ |
| Intelligent Sensing Group | consumer imaging devices via predicate surface "hasApplicationArea" ⓘ |