hasModelIn
P199402
predicate
Indicates that an entity is represented or instantiated as a model within a specified context, system, or container.
All labels observed (2)
| Label | Occurrences |
|---|---|
| hasModelOf | 10 |
| hasModelIn canonical | 3 |
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: hasModelIn
Generated description
Indicates that an entity is represented or instantiated as a model within a specified context, system, or container.
Sample triples (13)
| Subject | Object |
|---|---|
| homotopy type theory | simplicial sets ⓘ |
| homotopy type theory | Kan complexes ⓘ |
| homotopy type theory | ∞-groupoids ⓘ |
| Italia in Miniatura | Colosseum via predicate surface "hasModelOf" NERFINISHED ⓘ |
| Italia in Miniatura | St Peter's Basilica via predicate surface "hasModelOf" NERFINISHED ⓘ |
| Italia in Miniatura | Milan Cathedral via predicate surface "hasModelOf" NERFINISHED ⓘ |
| Italia in Miniatura | Leaning Tower of Pisa via predicate surface "hasModelOf" NERFINISHED ⓘ |
| Italia in Miniatura | Grand Canal in Venice via predicate surface "hasModelOf" NERFINISHED ⓘ |
| Italia in Miniatura | Arena of Verona via predicate surface "hasModelOf" NERFINISHED ⓘ |
| Italia in Miniatura | Castel del Monte via predicate surface "hasModelOf" NERFINISHED ⓘ |
| Italia in Miniatura | Italian lakes via predicate surface "hasModelOf" ⓘ |
| Italia in Miniatura | Alps via predicate surface "hasModelOf" NERFINISHED ⓘ |
| Italia in Miniatura | major Italian cities via predicate surface "hasModelOf" ⓘ |