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 |
|---|---|
| Abraham Lincoln | politician ⓘ |
| Abraham Lincoln | orator ⓘ |
| Abraham Lincoln | author ⓘ |
|
NAS
surface form:
National Academy of Sciences
|
scientific academy ⓘ |
|
NAS
surface form:
National Academy of Sciences
|
nonprofit organization ⓘ |
|
NAS
surface form:
National Academy of Sciences
|
learned society ⓘ |
| Proceedings of the National Academy of Sciences | scientific journal ⓘ |
| Proceedings of the National Academy of Sciences | academic journal ⓘ |
| Proceedings of the National Academy of Sciences | multidisciplinary journal ⓘ |
| National Academies reports | scientific report series ⓘ |
| National Academies reports | policy advisory document ⓘ |
| National Academies reports | peer-reviewed study ⓘ |
| IEEE Awards Board | awards board ⓘ |
| IEEE Awards Board | governing body ⓘ |
| IEEE Awards Board | organizational unit of IEEE ⓘ |
| Fang-Howard Chang | engineer ⓘ |
| Fang-Howard Chang | innovator ⓘ |
| European theatre of World War II | theatre of war ⓘ |
| European theatre of World War II | part of World War II ⓘ |
| Pacific War | theater of war ⓘ |
| Pacific War | conflict ⓘ |
| North African campaign | military campaign ⓘ |
| North African campaign | World War II theater ⓘ |
|
Eastern Front
surface form:
Eastern Front (World War II)
|
theater of war ⓘ |
|
Eastern Front
surface form:
Eastern Front (World War II)
|
front (military) ⓘ |
| Battle of Britain | battle ⓘ |
| Battle of Britain | air campaign ⓘ |
| Battle of Midway | naval battle ⓘ |
| Battle of Midway | World War II battle ⓘ |
| D-Day | military operation ⓘ |
| D-Day | amphibious invasion ⓘ |
| D-Day | World War II battle ⓘ |
| Invasion of Poland | military invasion ⓘ |
| Invasion of Poland | campaign of World War II ⓘ |
| Invasion of Poland | conflict ⓘ |
| Holocaust | genocide ⓘ |
| Holocaust | historicalEvent ⓘ |
| Holocaust | crimeAgainstHumanity ⓘ |
| Holocaust | warCrime ⓘ |
| Blitz | strategic bombing campaign ⓘ |
| Blitz | military operation ⓘ |
| Blitz | event in World War II ⓘ |
| Phoney War | military campaign phase ⓘ |
| Phoney War | historical event ⓘ |
| Phoney War | phase of World War II ⓘ |
| Operation Gomorrah | military operation ⓘ |
| Operation Gomorrah | strategic bombing campaign ⓘ |
| Schwarzman College of Computing | college ⓘ |
| Schwarzman College of Computing | academic unit ⓘ |
| Schwarzman College of Computing | interdisciplinary hub ⓘ |