hasSemanticsDefinedBy
P74447
predicate
Indicates that the meaning or interpretation of one entity is specified, constrained, or determined by another entity.
Observed surface forms (17)
- definesSemanticsFor ×6
- hasTermDefinedBy ×3
- semanticsDefinedBy ×3
- semanticsGivenBy ×3
- defaultValueSemantics ×2
- semanticsBasedOn ×2
- semanticsUses ×2
- definesSemiosisAs ×1
- formalSemanticsStyle ×1
- hasSemanticFoundation ×1
- hasSemanticFramework ×1
- hasSemanticsSpecifiedIn ×1
- maintainsSemanticsOf ×1
- propertySemantics_highWaterMark ×1
- semanticsDefinedIn ×1
- semanticsDependOn ×1
- supportsSemanticsFor ×1
Sample triples (33)
| Subject | Object |
|---|---|
|
CCS
surface form:
Calculus of Communicating Systems
|
labelled transition system via predicate surface "semanticsGivenBy" ⓘ |
| Chief of Staff of the Armed Forces of the Philippines | Philippine laws and regulations via predicate surface "hasTermDefinedBy" ⓘ |
|
Chief of the Defence Staff
surface form:
Chief of the Defence Staff (Canada)
|
National Defence Act (Canada) via predicate surface "hasTermDefinedBy" NERFINISHED ⓘ |
| Kleene strong three-valued logic | three-valued matrices via predicate surface "hasSemanticFramework" ⓘ |
| Location HTTP header | status code via predicate surface "semanticsDependOn" ⓘ |
| OCL | OMG OCL specification via predicate surface "semanticsDefinedIn" NERFINISHED ⓘ |
| OWL 2 functional-style syntax | OWL 2 model-theoretic semantics ⓘ |
| OWL DL | Model-theoretic semantics ⓘ |
| OWL Lite | model-theoretic semantics via predicate surface "hasSemanticFoundation" ⓘ |
| PEP 634 | pattern matching on OR patterns via predicate surface "definesSemanticsFor" ⓘ |
| PEP 634 | pattern matching on classes via predicate surface "definesSemanticsFor" ⓘ |
| PEP 634 | pattern matching on literals via predicate surface "definesSemanticsFor" ⓘ |
| PEP 634 | pattern matching on mappings via predicate surface "definesSemanticsFor" ⓘ |
| PEP 634 | pattern matching on sequences via predicate surface "definesSemanticsFor" ⓘ |
| PEP 634 | pattern matching with guards via predicate surface "definesSemanticsFor" ⓘ |
| Peircean semiotics | action of a sign via predicate surface "definesSemiosisAs" ⓘ |
|
PlusCal algorithm language
surface form:
PlusCal
|
translation to TLA+ via predicate surface "semanticsDefinedBy" ⓘ |
| QueuingStrategyInit | maximum queue size before applying backpressure via predicate surface "propertySemantics_highWaterMark" ⓘ |
| RDF 1.0 |
RDFS
via predicate surface "supportsSemanticsFor"
ⓘ
surface form:
RDF Schema 1.0
|
| RFC 7540 | HTTP/1.1 via predicate surface "maintainsSemanticsOf" ⓘ |
| SSH_MSG_REQUEST_FAILURE | IETF SECSH working group via predicate surface "semanticsDefinedBy" NERFINISHED ⓘ |
| Scheme R5RS | denotational semantics via predicate surface "formalSemanticsStyle" ⓘ |
| Structural Pattern Matching | PEP 634 via predicate surface "hasSemanticsSpecifiedIn" ⓘ |
| System.CLSCompliantAttribute | false indicates not CLS-compliant via predicate surface "defaultValueSemantics" ⓘ |
| System.CLSCompliantAttribute | true indicates CLS-compliant via predicate surface "defaultValueSemantics" ⓘ |
| join-calculus | reduction rules via predicate surface "semanticsBasedOn" ⓘ |
| join-calculus | structural congruence via predicate surface "semanticsBasedOn" ⓘ |
| municipal council of Wasserburg am Inn | Bavarian municipal electoral law via predicate surface "hasTermDefinedBy" NERFINISHED ⓘ |
| rdf:Bag | RDF model theory via predicate surface "semanticsDefinedBy" NERFINISHED ⓘ |
|
mu-calculus
surface form:
μ-calculus
|
Kripke structures via predicate surface "semanticsGivenBy" NERFINISHED ⓘ |
|
mu-calculus
surface form:
μ-calculus
|
least and greatest fixed points via predicate surface "semanticsUses" ⓘ |
|
mu-calculus
surface form:
μ-calculus
|
monotone operators on power sets via predicate surface "semanticsUses" ⓘ |
|
mu-calculus
surface form:
μ-calculus
|
transition systems via predicate surface "semanticsGivenBy" ⓘ |