hasModelIn
P199402
predicate
Indicates that an entity is represented or instantiated as a model within a specified context, system, or container.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| hasModelOf | 10 |
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" ⓘ |