relatedRule
P96500
predicate
Indicates that one rule is connected or associated with another rule, typically through some logical, structural, or referential relationship.
All labels observed (3)
| Label | Occurrences |
|---|---|
| relatedRule canonical | 7 |
| inferenceRule | 5 |
| relationshipToRule8 | 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: relatedRule
Generated description
Indicates that one rule is connected or associated with another rule, typically through some logical, structural, or referential relationship.
Sample triples (13)
| Subject | Object |
|---|---|
| Simpson's rule |
Newton–Cotes formulas
ⓘ
surface form:
Simpson's 3/8 rule
|
| Rule 610 | Rule 608 ⓘ |
| Rule 610 | Rule 609 ⓘ |
| Rule 902 | Rule 901 ⓘ |
| Rule 9 of the Federal Rules of Civil Procedure | supplements general pleading standards of Rule 8 with special requirements via predicate surface "relationshipToRule8" ⓘ |
| Hilbert-style deductive systems | modus ponens via predicate surface "inferenceRule" ⓘ |
| Hilbert-style deductive systems | generalization rule via predicate surface "inferenceRule" ⓘ |
| Form S-3 | SEC Rule 415 NERFINISHED ⓘ |
| Form S-3 | SEC Regulation S-K NERFINISHED ⓘ |
| Form S-3 | SEC Regulation C NERFINISHED ⓘ |
|
SPASS automated theorem prover
surface form:
SPASS
|
superposition via predicate surface "inferenceRule" ⓘ |
|
SPASS automated theorem prover
surface form:
SPASS
|
resolution via predicate surface "inferenceRule" ⓘ |
|
SPASS automated theorem prover
surface form:
SPASS
|
equality reasoning rules via predicate surface "inferenceRule" ⓘ |