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 |
|---|---|
| Age (HTTP header) | time since the response was generated or revalidated via predicate surface "semantics" ⓘ |
| Age (HTTP header) | apparent age of a cached response via predicate surface "semantics" ⓘ |
|
Last-Modified (HTTP header)
surface form:
Last-Modified
|
representation metadata via predicate surface "semantics" ⓘ |
| System F | denotational semantics in categorical models ⓘ |
| System F | proof-theoretic semantics via natural deduction ⓘ |
| Isabelle/FOL | Tarskian first-order semantics (informally underlying) ⓘ |
| etherStatsJabbers | cumulative count since last reset via predicate surface "semantics" ⓘ |
| LTL | defined via satisfaction over paths ⓘ |
| jakarta.annotation.security.RolesAllowed | access is allowed only if caller has at least one of the specified roles via predicate surface "semantics" ⓘ |
| In-Reply-To | identifies the parent message of a reply via predicate surface "semantics" ⓘ |
| ARIA | HTML via predicate surface "addsSemanticInformationTo" NERFINISHED ⓘ |
| ARIA | SVG via predicate surface "addsSemanticInformationTo" NERFINISHED ⓘ |
| ARIA | MathML via predicate surface "addsSemanticInformationTo" NERFINISHED ⓘ |
| dot3CollTable | historical counters of collisions via predicate surface "semantics" ⓘ |
| Negation | reverses proposition polarity via predicate surface "hasSemanticEffect" ⓘ |
| PEP 647 TypeGuard | if function returns True, argument type is narrowed to TypeGuard parameter via predicate surface "semantics" ⓘ |
| PEP 647 TypeGuard | type narrowing applies only in True branch via predicate surface "semantics" ⓘ |
| PEP 647 TypeGuard | type narrowing is local to the guarded expression via predicate surface "semantics" ⓘ |
| Martin-Löf type theory | categorical semantics ⓘ |
| Martin-Löf type theory | computational semantics ⓘ |
| TypeVarTuple | represents an ordered sequence of type arguments via predicate surface "semantics" ⓘ |
| ParamSpec | represents the full parameter specification of a callable via predicate surface "semantics" ⓘ |
| typing.NewType | nominal typing over an existing structural type via predicate surface "semantics" ⓘ |
| PEP 3107 | annotations have no runtime effect by default via predicate surface "semantics" ⓘ |
| PEP 3107 | annotations are available for introspection via predicate surface "semantics" ⓘ |
|
calculus of constructions
surface form:
Calculus of Constructions
|
proofs-as-programs semantics via predicate surface "semantics" ⓘ |
|
calculus of constructions
surface form:
Calculus of Constructions
|
Curry–Howard isomorphism via predicate surface "semantics" NERFINISHED ⓘ |
| Leonardus | lion via predicate surface "hasMeaningElement" ⓘ |
| Leonardus | brave via predicate surface "hasMeaningElement" ⓘ |
| Leonardus | hardy via predicate surface "hasMeaningElement" ⓘ |