formalizedUnder
P31448
predicate
Indicates that something has been officially established, defined, or codified within the framework, authority, or provisions of a particular formal system, agreement, or institution.
Observed surface forms (2)
- isFormalizedIn ×2
- codifiedUnder ×1
Sample triples (4)
| Subject | Object |
|---|---|
|
Caesar
surface form:
Caesar (imperial title)
|
Diocletian ⓘ |
| Mozarabic Rite | Visigothic Kingdom via predicate surface "codifiedUnder" ⓘ |
| ZF | Hilbert-style deductive systems via predicate surface "isFormalizedIn" ⓘ |
| ZF | natural deduction systems via predicate surface "isFormalizedIn" ⓘ |