hasKernelType
P82499
predicate
Indicates that an entity possesses or is associated with a specific type or classification of kernel.
All labels observed (6)
| Label | Occurrences |
|---|---|
| hasKernelType canonical | 11 |
| usesKernel | 5 |
| hasLimitingKernel | 3 |
| supportsKernelType | 2 |
| runsOnKernelType | 1 |
| targetOSKernelType | 1 |
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: hasKernelType
Generated description
Indicates that an entity possesses or is associated with a specific type or classification of kernel.
Sample triples (23)
| Subject | Object |
|---|---|
| RT-Thread | preemptive multitasking ⓘ |
| Domain/OS | monolithic kernel ⓘ |
| ev3dev | Linux kernel via predicate surface "usesKernel" ⓘ |
| Sonata | classic Mac OS kernel via predicate surface "targetOSKernelType" ⓘ |
| Weyl fractional integral | power-law kernel ⓘ |
| Android 8.0 Oreo | monolithic Linux kernel via predicate surface "supportsKernelType" ⓘ |
| Bluebottle operating system | object-based kernel ⓘ |
| Xubuntu | monolithic Linux kernel via predicate surface "supportsKernelType" ⓘ |
| Zephyr | microkernel-like ⓘ |
| SunView | Unix via predicate surface "runsOnKernelType" NERFINISHED ⓘ |
| CentOS Atomic Host | monolithic Linux kernel ⓘ |
| Parabola GNU/Linux-libre | deblobbed Linux-libre kernel via predicate surface "usesKernel" ⓘ |
| PureOS | Linux kernel via predicate surface "usesKernel" ⓘ |
| Hyperbola GNU/Linux-libre | Linux-libre via predicate surface "usesKernel" NERFINISHED ⓘ |
| Samsung Z series smartphones | Linux via predicate surface "usesKernel" NERFINISHED ⓘ |
| Windows 10 November 2019 Update | hybrid kernel ⓘ |
| Jacobi ensemble | sine kernel in the bulk (for β=1,2,4 under standard scaling) via predicate surface "hasLimitingKernel" ⓘ |
| Jacobi ensemble | Bessel-type kernels at the hard edge via predicate surface "hasLimitingKernel" ⓘ |
| Jacobi ensemble | Airy-type kernels at the soft edge via predicate surface "hasLimitingKernel" ⓘ |
| Caputo–Fabrizio derivative | non-singular kernel ⓘ |
| Caputo–Fabrizio derivative | exponential kernel ⓘ |
| Atangana–Baleanu–Caputo derivative | non-singular kernel ⓘ |
| Atangana–Baleanu–Caputo derivative | non-local kernel ⓘ |