relatedRule
P96500
predicate
Indicates that one rule is connected or associated with another rule, typically through some logical, structural, or referential relationship.
Observed surface forms (2)
| Surface form | Occurrences |
|---|---|
| inferenceRule | 5 |
| relationshipToRule8 | 1 |
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" ⓘ |