hasSemantics
P28757
predicate
Indicates that one entity carries or encodes the meaning, interpretation, or semantic content associated with another entity.
All labels observed (8)
| Label | Occurrences |
|---|---|
| semantics | 34 |
| hasSemantics canonical | 22 |
| hasMeaningElement | 14 |
| addsSemanticInformationTo | 3 |
| hasSemanticModel | 3 |
| hasSemantic | 2 |
| hasSemanticEffect | 1 |
| semanticsWith201 | 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: hasSemantics
Generated description
Indicates that one entity carries or encodes the meaning, interpretation, or semantic content associated with another entity.
Sample triples (80)
| Subject | Object |
|---|---|
| OWL 2 QL | model-theoretic semantics of OWL 2 ⓘ |
| Finkelstein | spark via predicate surface "hasMeaningElement" ⓘ |
| Finkelstein | stone via predicate surface "hasMeaningElement" ⓘ |
| Löwenstein | lion via predicate surface "hasMeaningElement" ⓘ |
| Löwenstein | stone via predicate surface "hasMeaningElement" ⓘ |
| CSP (Communicating Sequential Processes) | trace semantics via predicate surface "hasSemanticModel" ⓘ |
| CSP (Communicating Sequential Processes) | failures semantics via predicate surface "hasSemanticModel" ⓘ |
| CSP (Communicating Sequential Processes) | failures-divergences semantics via predicate surface "hasSemanticModel" ⓘ |
| Accept-Encoding | q=0 means encoding is not acceptable via predicate surface "semantics" ⓘ |
| Accept-Encoding | higher q value indicates higher preference for an encoding via predicate surface "semantics" ⓘ |
| Accept-Encoding | identity encoding is always acceptable unless explicitly refused with q=0 via predicate surface "semantics" ⓘ |
| Content-Encoding | describes the content codings applied to the payload representation via predicate surface "semantics" ⓘ |
| Content-Language | describes the language intended for the audience, not the language of user preferences via predicate surface "semantics" ⓘ |
| Content-Language | does not affect how the content is processed by HTTP itself via predicate surface "semantics" ⓘ |
|
Location
surface form:
Location header
|
URI of newly created resource via predicate surface "semanticsWith201" ⓘ |
| Retry-After | indicates how long the client should wait before making a follow-up request via predicate surface "semantics" ⓘ |
| InformRequest-PDU | inform notification via predicate surface "hasSemantic" ⓘ |
| YANG actions | invoked on a specific instance of the parent data node via predicate surface "semantics" ⓘ |
| π-calculus | operational semantics ⓘ |
|
CCS (Calculus of Communicating Systems)
surface form:
CCS
|
operational semantics via predicate surface "semantics" ⓘ |
|
CCS (Calculus of Communicating Systems)
surface form:
CCS
|
labelled transition semantics via predicate surface "semantics" ⓘ |
|
MapMessage interface
surface form:
MapMessage
|
unordered set of entries via predicate surface "semantics" ⓘ |
| Content-Range header field | describes where in the full selected representation the partial payload body is located via predicate surface "semantics" ⓘ |
| Content-Range header field | indicates the total size of the selected representation when known via predicate surface "semantics" ⓘ |
| Transfer-Encoding header field | each transfer coding is applied to the previous result ⓘ |
| CWR | acknowledges reception of ECN congestion indication via predicate surface "semantics" ⓘ |
| CWR | notifies receiver that congestion response has been taken via predicate surface "semantics" ⓘ |
| Eberhardt | "boar" via predicate surface "hasMeaningElement" ⓘ |
| Eberhardt | "brave" via predicate surface "hasMeaningElement" ⓘ |
| Eberhardt | "hardy" via predicate surface "hasMeaningElement" ⓘ |
| Adalbert | adal (noble) via predicate surface "hasMeaningElement" ⓘ |
| Adalbert | beraht (bright) via predicate surface "hasMeaningElement" ⓘ |
| Sigurd | victory via predicate surface "hasMeaningElement" ⓘ |
| Sigurd | guardian via predicate surface "hasMeaningElement" ⓘ |
| TLA+ | state-transition system ⓘ |
| linear temporal logic | formulas evaluated over infinite sequences of states ⓘ |
| linear temporal logic | models are infinite words over atomic propositions ⓘ |
| linear temporal logic | satisfaction defined at positions in a path ⓘ |
| linear logic | phase semantics ⓘ |
| linear logic | coherence spaces ⓘ |
| linear logic | game semantics ⓘ |
| ContainerMembershipProperty | indicates ordinal membership of a resource in an RDF container via predicate surface "semantics" ⓘ |
| NFA | existential choice over transitions ⓘ |
| OWL 2 Full | RDF-compatible model-theoretic semantics ⓘ |
| OWL 2 DL | Direct semantics of OWL 2 NERFINISHED ⓘ |
| OWL 2 DL | RDF-based semantics of OWL 2 ⓘ |
| Production Rule Dialect | operational semantics for rule execution ⓘ |
| Production Rule Dialect | model-theoretic semantics aligned with RIF ⓘ |
| GetResponse-PDU | report success or failure of a retrieval request via predicate surface "hasSemantic" ⓘ |
| SNMP InformRequest | notify and confirm reception via predicate surface "semantics" ⓘ |