hasTypeSystem

P12987
predicate

Indicates that an entity employs, is governed by, or is associated with a particular type system (a defined set of rules for classifying and constraining types).

Try in SPARQL

All labels observed (5)

Label Occurrences
typeSystem 14
hasTypeSystem canonical 13
taleTypeSystem 4

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: hasTypeSystem
Generated description
Indicates that an entity employs, is governed by, or is associated with a particular type system (a defined set of rules for classifying and constraining types).

Sample triples (33)

Subject Object
Modula-3 strongly typed ⓘ
Modula-3 statically typed ⓘ
Elm strong via predicate surface "typeSystem" ⓘ
Vale programming language statically typed via predicate surface "typeSystem" ⓘ
Vale programming language compile-time checked lifetimes via predicate surface "typeSystem" ⓘ
Argus strongly typed ⓘ
The Robber Bridegroom Aarne–Thompson–Uther classification via predicate surface "taleTypeSystem" ⓘ
linked to: Aarne–Thompson–Uther Index
XPath 2.0 XML Schema type system via predicate surface "usesTypeSystem" ⓘ
linked to: XML Schema
XPath 3.0 sequence types ⓘ
XPath 3.0 item types ⓘ
XPath 3.0 function types ⓘ
ISWIM implicit typing (informal) ⓘ
Dart VM sound type system with runtime checks (for some modes) via predicate surface "runtimeTypeSystem" ⓘ
ML static typing ⓘ
M language static with gradual typing characteristics via predicate surface "typeSystem" ⓘ
Standard ML static typing ⓘ
VHDL strong static typing via predicate surface "typeSystem" ⓘ
Crystal static typing via predicate surface "typeSystem" ⓘ
Crystal type inference via predicate surface "typeSystem" ⓘ
PureScript static type system ⓘ
PureScript Hindley–Milner type system ⓘ
Strongtalk
linked to: David Griswold
optional static typing ⓘ
System F
linked to: system F
second-order type system ⓘ
G programming language strongly typed via predicate surface "typeSystem" ⓘ
G programming language statically typed at compile time in LabVIEW via predicate surface "typeSystem" ⓘ
Cyclone programming language statically typed via predicate surface "typeSystem" ⓘ
The Twelve Dancing Princesses Aarne–Thompson–Uther Index via predicate surface "taleTypeSystem" ⓘ
The Juniper Tree Aarne–Thompson–Uther classification via predicate surface "taleTypeSystem" ⓘ
linked to: The Types of International Folktales
The Devil with the Three Golden Hairs Aarne–Thompson–Uther Index via predicate surface "taleTypeSystem" ⓘ
Moscow ML static typing via predicate surface "typeSystem" ⓘ
Moscow ML Hindley–Milner type inference via predicate surface "typeSystem" ⓘ
linked to: Hindley–Milner type system
Miranda
linked to: Miranda programming language
polymorphic type system via predicate surface "typeSystem" ⓘ
Fennel dynamically typed via predicate surface "typeSystem" ⓘ