instanceOf
P0
predicate
relation of type constraints
All labels observed (42)
| Label | Occurrences |
|---|---|
| instanceOf canonical | 2,528,425 |
| hasType | 41,281 |
| type | 12,048 |
| isTypeOf | 601 |
| notInstanceOf | 45 |
| isOfType | 3 |
| PythonInstanceOf | 2 |
| SiriusA_instanceOf | 2 |
| SiriusB_instanceOf | 2 |
| compilerInstanceOf | 2 |
| designerInstanceOf | 2 |
| lock-upInstanceOf | 2 |
| ACIS-IInstanceOf | 1 |
| ACIS-SInstanceOf | 1 |
| AntalcidasInstanceOf | 1 |
| ApolloInstanceOf | 1 |
| B 96nInstanceOf | 1 |
| BSOResoundInstanceOf | 1 |
| CPPIBInstanceOf | 1 |
| ChetakInstanceOf | 1 |
| Comet_instanceOf | 1 |
| DofEAwardInstanceOf | 1 |
| ICU4CinstanceOf | 1 |
| ICU4JinstanceOf | 1 |
| IceFactorInstanceOf | 1 |
| JunoInstanceOf | 1 |
| Luxe & ReduxeInstanceOf | 1 |
| OGRInstanceOf | 1 |
| PillarRockInstanceOf | 1 |
| Plant HallInstanceOf | 1 |
| PortaRosaInstanceOf | 1 |
| RaiPlayInstanceOf | 1 |
| RovalInstanceOf | 1 |
| SuddInstanceOf | 1 |
| Warp X_instanceOf | 1 |
| WhitewayInstanceOf | 1 |
| bantamInstanceOf | 1 |
| belfryInstanceOf | 1 |
| car1058InstanceOf | 1 |
| createdTypeInstanceOf | 1 |
| hydraInstanceOf | 1 |
| unitTypeInstanceOf | 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: instanceOf
Generated description
relation of type constraints
Sample triples (2,582,445)
| Subject | Object |
|---|---|
| U4 Network | university alliance ⓘ |
| U4 Network | international academic network ⓘ |
|
LERU (former associate collaboration in some projects)
surface form:
LERU
|
university consortium ⓘ |
|
LERU (former associate collaboration in some projects)
surface form:
LERU
|
research network ⓘ |
|
Faculty of Theology
surface form:
Faculty of Theology, University of Göttingen
|
faculty ⓘ |
|
Faculty of Theology
surface form:
Faculty of Theology, University of Göttingen
|
academic division ⓘ |
|
Faculty of Theology
surface form:
Faculty of Theology, University of Göttingen
|
university faculty via predicate surface "hasType" ⓘ |
|
Faculty of Medicine
surface form:
Faculty of Medicine, University of Göttingen
|
medical faculty ⓘ |
|
Faculty of Medicine
surface form:
Faculty of Medicine, University of Göttingen
|
academic division ⓘ |
|
Faculty of Medicine
surface form:
Faculty of Medicine, University of Göttingen
|
public institution via predicate surface "hasType" ⓘ |
|
Faculty of Economic Sciences
surface form:
Faculty of Economic Sciences, University of Göttingen
|
university faculty ⓘ |
|
Faculty of Economic Sciences
surface form:
Faculty of Economic Sciences, University of Göttingen
|
academic division ⓘ |
|
Faculty of Mathematics and Computer Science
surface form:
Faculty of Mathematics and Computer Science, University of Göttingen
|
faculty ⓘ |
|
Faculty of Mathematics and Computer Science
surface form:
Faculty of Mathematics and Computer Science, University of Göttingen
|
academic division ⓘ |
|
Faculty of Physics
surface form:
Faculty of Physics, University of Göttingen
|
university faculty ⓘ |
|
Faculty of Physics
surface form:
Faculty of Physics, University of Göttingen
|
academic division ⓘ |
| Faculty of Forest Sciences and Forest Ecology | faculty ⓘ |
| Faculty of Forest Sciences and Forest Ecology | academic division ⓘ |
| Faculty of Forest Sciences and Forest Ecology | university faculty via predicate surface "hasType" ⓘ |
|
Faculty of Geoscience and Geography
surface form:
Faculty of Geoscience and Geography, University of Göttingen
|
university faculty ⓘ |
|
Faculty of Geoscience and Geography
surface form:
Faculty of Geoscience and Geography, University of Göttingen
|
academic division ⓘ |
| German Rectors' Conference | rectors' conference ⓘ |
| German Rectors' Conference | university association ⓘ |
| German Rectors' Conference | higher education organization ⓘ |
| German Rectors' Conference | non-profit organization ⓘ |
| Schwarzschild black hole | black hole solution ⓘ |
| Schwarzschild black hole | astrophysical object model ⓘ |
| Schwarzschild black hole | exact solution of Einstein field equations ⓘ |
| FLRW cosmological models | cosmological model ⓘ |
| FLRW cosmological models | solution to Einstein field equations ⓘ |
| FLRW cosmological models | spacetime metric ⓘ |
| FLRW cosmological models | homogeneous cosmological model ⓘ |
| FLRW cosmological models | isotropic cosmological model ⓘ |
|
FLRW cosmological models
surface form:
FLRW metric
|
spacetime metric ⓘ |
| Physical Review | scientific journal ⓘ |
| Physical Review | peer-reviewed journal ⓘ |
| Physical Review | physics journal ⓘ |
| March Meeting | physics conference ⓘ |
| March Meeting | scientific conference ⓘ |
| Division of Fluid Dynamics | division of a scientific society ⓘ |
| Division of Fluid Dynamics | unit of the American Physical Society ⓘ |
| APS Prizes and Awards | scientific award program ⓘ |
| APS Prizes and Awards | physics award ⓘ |
| American Institute of Physics | scientific society federation ⓘ |
| American Institute of Physics | professional association ⓘ |
| American Institute of Physics | nonprofit organization ⓘ |
| William Stephenson | human ⓘ |
| William Stephenson | intelligence officer ⓘ |
| William Stephenson | spymaster ⓘ |
| William Stephenson | industrialist ⓘ |