hasRule
P2846
predicate
Indicates that an entity is governed, constrained, or defined by a specific rule or set of rules.
All labels observed (50)
| Label | Occurrences |
|---|---|
| hasRegulation | 3,494 |
| hasRule canonical | 418 |
| hasRuleSet | 87 |
| includesRule | 43 |
| usesDHRule | 30 |
| containsRule | 29 |
| usesRule | 17 |
| hasMoveRule | 11 |
| includesRuleType | 11 |
| hasEligibilityRules | 8 |
| hasMembershipRule | 7 |
| hasSafetyRule | 7 |
| exampleRule | 6 |
| establishedRule | 5 |
| hadRule | 5 |
| hasLearningRule | 5 |
| hasListingRules | 5 |
| hasAdditiveRule | 4 |
| hasSelectionRule | 4 |
| scopeRule | 4 |
| hasActivityRule | 3 |
| hasCappingRule | 3 |
| hasParticipationRule | 3 |
| hasCaptureRule | 2 |
| hasCatalogingRules | 2 |
| hasDescentRule | 2 |
| hasFormatRule | 2 |
| hasImportPlayerRule | 2 |
| hasLogicalRule | 2 |
| hasSelectionRules | 2 |
| usesRosterRule | 2 |
| appliesRule | 1 |
| hadRuleSet | 1 |
| hasCanonicalRule | 1 |
| hasCombinationRule | 1 |
| hasComponentUniverseRule | 1 |
| hasEncodingRules | 1 |
| hasKinshipRule | 1 |
| hasListingRule | 1 |
| hasMercyRule | 1 |
| hasOperationalRules | 1 |
| hasOrderingRule | 1 |
| hasProceduralRulesDefinedBy | 1 |
| hasProcedureRules | 1 |
| hasProtocolRules | 1 |
| hasRoadWithUniqueRule | 1 |
| hasRuleVariant | 1 |
| hasSortingRule | 1 |
| hasTransferRules | 1 |
| hasTransmissionRule | 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: hasRule
Generated description
Indicates that an entity is governed, constrained, or defined by a specific rule or set of rules.
Sample triples (4,244)
| Subject | Object |
|---|---|
| Bull Run Watershed | restrictions on development via predicate surface "hasRegulation" ⓘ |
| Bull Run Watershed | restrictions on motorized access via predicate surface "hasRegulation" ⓘ |
| MacKerricher State Park | protected wildlife habitat areas via predicate surface "hasRegulation" ⓘ |
| MacKerricher State Park | restrictions on disturbing tide pools via predicate surface "hasRegulation" ⓘ |
| Ward’s Island Beach | no lifeguard service outside posted hours via predicate surface "hasRegulation" ⓘ |
| Ward’s Island Beach | swimming allowed only in designated areas via predicate surface "hasRegulation" ⓘ |
| Tsankawi | removal of artifacts prohibited via predicate surface "hasRegulation" ⓘ |
| Tsankawi | stay-on-trail requirement via predicate surface "hasRegulation" ⓘ |
| Fort Morgan Beach | sea turtle nesting protections (seasonal) via predicate surface "hasRegulation" ⓘ |
| Hawksnest Bay | marine protected area rules via predicate surface "hasRegulation" ⓘ |
| Hawksnest Bay | no-take fishing restrictions via predicate surface "hasRegulation" ⓘ |
| Shark Valley Tram Road | motor vehicles restricted to authorized trams and park service vehicles via predicate surface "hasRegulation" ⓘ |
| Hoare logic | assignment axiom ⓘ |
| Hoare logic | sequence rule ⓘ |
| Hoare logic | conditional rule ⓘ |
| Hoare logic | while rule ⓘ |
| Hoare logic | consequence rule ⓘ |
| Seventy-Five Mile Beach | 4WD permits required on Fraser Island via predicate surface "hasRegulation" ⓘ |
| Holland Harbor Channel | no-swimming zones within the channel via predicate surface "hasRegulation" ⓘ |
| Stormalong Bay pool complex | lifeguard supervision required during operating hours via predicate surface "hasRegulation" ⓘ |
| Battle Creek Cypress Swamp Sanctuary | no collecting of plants or animals via predicate surface "hasRegulation" ⓘ |
| Battle Creek Cypress Swamp Sanctuary | stay on designated trails via predicate surface "hasRegulation" ⓘ |
| Point Bennett | visitor access subject to wildlife protection rules via predicate surface "hasRegulation" ⓘ |
| Haystack Rock | no climbing via predicate surface "hasRegulation" ⓘ |
| Haystack Rock | no collecting marine life via predicate surface "hasRegulation" ⓘ |
| Haystack Rock | dogs must be leashed near rock via predicate surface "hasRegulation" ⓘ |
| McDowell Sonoran Preserve | motorized vehicles prohibited on trails via predicate surface "hasRegulation" ⓘ |
| McDowell Sonoran Preserve | dogs allowed on leash via predicate surface "hasRegulation" ⓘ |
| Alabama Hills | Leave No Trace principles encouraged via predicate surface "hasRegulation" ⓘ |
| Cape Arago State Park | protection of marine wildlife via predicate surface "hasRegulation" ⓘ |
| Cape Arago State Park | restrictions on access to sensitive areas via predicate surface "hasRegulation" ⓘ |
| Bundesplatz | demonstrations subject to federal security rules via predicate surface "hasRegulation" ⓘ |
| Cape Kiwanda | restricted cliff access in some areas via predicate surface "hasRegulation" ⓘ |
| Holy Cross Catholic Cemetery | subject to Roman Catholic canon law on burial via predicate surface "hasRegulation" ⓘ |
| Holy Cross Catholic Cemetery | subject to California cemetery law via predicate surface "hasRegulation" ⓘ |
| Hayward Japanese Gardens | no dogs allowed in garden area via predicate surface "hasRegulation" ⓘ |
| Hayward Japanese Gardens | daytime opening hours via predicate surface "hasRegulation" ⓘ |
| Devils Punch Bowl State Natural Area | day-use only area via predicate surface "hasRegulation" ⓘ |
| Briones Regional Park | dogs allowed on leash and under voice control in most areas via predicate surface "hasRegulation" ⓘ |
| Lake Manawa State Park | Iowa state park rules apply via predicate surface "hasRegulation" ⓘ |
| Otter Point State Recreation Site | day-use only area via predicate surface "hasRegulation" ⓘ |
| Cape Kiwanda State Natural Area | restricted cliff access for safety via predicate surface "hasRegulation" ⓘ |
| Cape Kiwanda State Natural Area | no motor vehicles on certain dune areas via predicate surface "hasRegulation" ⓘ |
| Raggeds Wilderness | motorized vehicles prohibited via predicate surface "hasRegulation" ⓘ |
| Raggeds Wilderness | mechanized equipment such as bicycles prohibited via predicate surface "hasRegulation" ⓘ |
| Algonquin Island | no private automobiles allowed via predicate surface "hasRegulation" ⓘ |
| Grizzly Island Wildlife Area | seasonal access restrictions via predicate surface "hasRegulation" ⓘ |
| Grizzly Island Wildlife Area | regulated hunting seasons via predicate surface "hasRegulation" ⓘ |
|
Red Light, Green Light
surface form:
Red Light, Green Light (Squid Game)
|
players may move only when signaled ⓘ |
|
Red Light, Green Light
surface form:
Red Light, Green Light (Squid Game)
|
players must stop moving when signaled ⓘ |