deontic-kr-civil-0.2.0.0: Korean Civil Act (민법) with type-level stratified deontic logic (Index - R)

deontic-kr-civil-0.2.0.0: Korean Civil Act (민법) with type-level stratified deontic logic

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
All

Index - R

raActId	Deontic.Civil.Types, Deontic.Civil
raActor	Deontic.Civil.Types, Deontic.Civil
Ratification	Deontic.Civil.Types, Deontic.Civil
Ratified	Deontic.Civil.Types, Deontic.Civil
Rebuttal	Deontic.Civil.Types, Deontic.Civil
renderBlocks	Deontic.Civil.Render, Deontic.Civil
rendererFormat	Deontic.Civil.Render, Deontic.Civil
RenewalRight	Deontic.Civil.Types, Deontic.Civil
RescissionAct
1 (Type/Class)	Deontic.Civil.Types, Deontic.Civil
2 (Data Constructor)	Deontic.Civil.Types, Deontic.Civil
RescissionFacts
1 (Type/Class)	Deontic.Civil.Types, Deontic.Civil
2 (Data Constructor)	Deontic.Civil.Types, Deontic.Civil
RescissionK	Deontic.Civil.Types, Deontic.Civil
Resolutive	Deontic.Civil.Types, Deontic.Civil
rfActDate	Deontic.Civil.Types, Deontic.Civil
rfCurrentDate	Deontic.Civil.Types, Deontic.Civil
rfKnowledgeDate	Deontic.Civil.Types, Deontic.Civil
RightAssignment	Deontic.Civil.Types, Deontic.Civil