hasApp
P14571
predicate
Indicates that an entity possesses, provides, or is associated with a particular application.
All labels observed (42)
| Label | Occurrences |
|---|---|
| hasApplicationIn | 207 |
| includesApplication | 167 |
| hasPackage | 31 |
| includedApp | 18 |
| containsApplication | 17 |
| mobileApp | 10 |
| hasMobileVersion | 9 |
| hasMobileAppFor | 8 |
| hasMobileAppOn | 8 |
| hasApp canonical | 6 |
| introducedApplication | 6 |
| hasKeyApplication | 5 |
| associatedApplication | 4 |
| hasApplicationField | 4 |
| hasApplications | 4 |
| hasClientSoftware | 4 |
| hasCompanionApp | 4 |
| hasMobileApps | 4 |
| isOfficialAppOf | 4 |
| hasControlApp | 3 |
| hasMobileGame | 3 |
| hasOfficialApp | 3 |
| androidAppStore | 2 |
| hasEmailClient | 2 |
| hasMobileAppIntegration | 2 |
| hasMobileApplication | 2 |
| hasPotentialApplication | 2 |
| mobileAppAvailable | 2 |
| supportsNavigationApp | 2 |
| usesApplication | 2 |
| defaultAppStore | 1 |
| hadMobileApp | 1 |
| hasAppIntegration | 1 |
| hasAssociatedApp | 1 |
| hasInteractiveApp | 1 |
| hasMobileAppName | 1 |
| hasMobileAppSupport | 1 |
| hasSmartTVApp | 1 |
| mobileApplication | 1 |
| supportsMobileApp | 1 |
| supportsMobileAppAccess | 1 |
| usesClientApplication | 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: hasApp
Generated description
Indicates that an entity possesses, provides, or is associated with a particular application.
Sample triples (557)
| Subject | Object |
|---|---|
| Regal Entertainment Group | Regal mobile app ⓘ |
| Android Auto | Google Maps via predicate surface "supportsNavigationApp" ⓘ |
| Android Auto | Waze via predicate surface "supportsNavigationApp" ⓘ |
| YouTube Studio |
YouTube Studio
via predicate surface "hasMobileAppName"
self-linksurface differs
ⓘ
surface form:
YouTube Studio app
|
| Société de transport de Montréal | STM mobile app via predicate surface "hasOfficialApp" ⓘ |
| jw.org | JW Library via predicate surface "hasMobileApps" ⓘ |
| jw.org | JW Language via predicate surface "hasMobileApps" ⓘ |
| jw.org | JW Event via predicate surface "hasMobileApps" ⓘ |
| NBA.com |
NBA App
via predicate surface "hasAssociatedApp"
ⓘ
surface form:
NBA app
|
| Ring | Ring app ⓘ |
| Ring | Neighbors app ⓘ |
| Amazon Appstore | Amazon Appstore app via predicate surface "hasClientSoftware" ⓘ |
| Amazon Appstore |
Amazon Appstore
via predicate surface "hasClientSoftware"
self-linksurface differs
ⓘ
surface form:
Amazon Appstore for Android
|
| Amazon Appstore |
Amazon Appstore
via predicate surface "hasClientSoftware"
self-linksurface differs
ⓘ
surface form:
Amazon Appstore for Windows 11
|
| Cornershop | iOS via predicate surface "hasMobileAppFor" ⓘ |
| Cornershop | Android via predicate surface "hasMobileAppFor" ⓘ |
| Lorentz group | high-energy physics via predicate surface "hasApplicationIn" ⓘ |
| Lorentz group | general relativity (local tangent spaces) via predicate surface "hasApplicationIn" ⓘ |
| Lorentz group | particle physics via predicate surface "hasApplicationIn" ⓘ |
| National Rail Enquiries | true via predicate surface "hasMobileApps" ⓘ |
| Wizarding World |
Hogwarts Mystery
via predicate surface "hasMobileGame"
ⓘ
surface form:
Harry Potter: Hogwarts Mystery
|
| Wizarding World | Harry Potter: Wizards Unite via predicate surface "hasMobileGame" ⓘ |
| SWE | geocoding via predicate surface "hasApplicationIn" ⓘ |
| SWE | payment systems via predicate surface "hasApplicationIn" ⓘ |
| SWE | logistics and shipping via predicate surface "hasApplicationIn" ⓘ |
| SWE | telecommunications via predicate surface "hasApplicationIn" ⓘ |
| SWE | internet standards via predicate surface "hasApplicationIn" ⓘ |
|
Opera web browser
surface form:
Opera
|
Opera Mini
via predicate surface "hasMobileVersion"
ⓘ
surface form:
Opera for Android
|
|
Opera web browser
surface form:
Opera
|
Opera Mini via predicate surface "hasMobileVersion" ⓘ |
|
Opera web browser
surface form:
Opera
|
Opera Mini
via predicate surface "hasMobileVersion"
ⓘ
surface form:
Opera Touch
|
| Logic Pro | Logic Remote via predicate surface "hasCompanionApp" ⓘ |
| LaTeX | amsmath via predicate surface "hasPackage" ⓘ |
| LaTeX | amssymb via predicate surface "hasPackage" ⓘ |
| LaTeX | graphicx via predicate surface "hasPackage" ⓘ |
| LaTeX | hyperref via predicate surface "hasPackage" ⓘ |
| LaTeX | biblatex via predicate surface "hasPackage" ⓘ |
| LaTeX | natbib via predicate surface "hasPackage" ⓘ |
| LaTeX | geometry via predicate surface "hasPackage" ⓘ |
| LaTeX | tikz via predicate surface "hasPackage" ⓘ |
| LaTeX | pgfplots via predicate surface "hasPackage" ⓘ |
| LaTeX | siunitx via predicate surface "hasPackage" ⓘ |
|
Connected
surface form:
TAG Heuer Connected
|
TAG Heuer Connected app via predicate surface "hasCompanionApp" ⓘ |
| Didi Chuxing | Didi Chuxing app via predicate surface "mobileApp" ⓘ |
| DoorDash | iOS via predicate surface "hasMobileAppOn" ⓘ |
| DoorDash | Android via predicate surface "hasMobileAppOn" ⓘ |
| Atiyah–Singer index theorem | gauge theory via predicate surface "hasApplicationIn" ⓘ |
| Atiyah–Singer index theorem | quantum field theory via predicate surface "hasApplicationIn" ⓘ |
| Atiyah–Singer index theorem | string theory via predicate surface "hasApplicationIn" ⓘ |
| Atiyah–Singer index theorem | representation theory via predicate surface "hasApplicationIn" ⓘ |
| Atiyah–Singer index theorem | spectral geometry via predicate surface "hasApplicationIn" ⓘ |