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

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 - P

paActId	Deontic.Civil.Types, Deontic.Civil
paActor	Deontic.Civil.Types, Deontic.Civil
Para	Deontic.Civil.Render, Deontic.Civil
PartialInvalidityAct
1 (Type/Class)	Deontic.Civil.Types, Deontic.Civil
2 (Data Constructor)	Deontic.Civil.Types, Deontic.Civil
PartialInvalidityFacts
1 (Type/Class)	Deontic.Civil.Types, Deontic.Civil
2 (Data Constructor)	Deontic.Civil.Types, Deontic.Civil
PerformsAct	Deontic.Civil.Types, Deontic.Civil
pfClaimDate	Deontic.Civil.Types, Deontic.Civil
pfCurrentDate	Deontic.Civil.Types, Deontic.Civil
pfInterruptedOn	Deontic.Civil.Types, Deontic.Civil
pfPeriodYears	Deontic.Civil.Types, Deontic.Civil
piActId	Deontic.Civil.Types, Deontic.Civil
pifConversionIntent	Deontic.Civil.Types, Deontic.Civil
pifHypotheticalIntent	Deontic.Civil.Types, Deontic.Civil
pifMeetsOtherReqs	Deontic.Civil.Types, Deontic.Civil
pifPartVoid	Deontic.Civil.Types, Deontic.Civil
pifRatifiedWithKnowledge	Deontic.Civil.Types, Deontic.Civil
Plain	Deontic.Civil.Render, Deontic.Civil
PlainText	Deontic.Civil.Render, Deontic.Civil
PossessionAct
1 (Type/Class)	Deontic.Civil.Types, Deontic.Civil
2 (Data Constructor)	Deontic.Civil.Types, Deontic.Civil
prClaimId	Deontic.Civil.Types, Deontic.Civil
prCreditor	Deontic.Civil.Types, Deontic.Civil
PrescriptionAct
1 (Type/Class)	Deontic.Civil.Types, Deontic.Civil
2 (Data Constructor)	Deontic.Civil.Types, Deontic.Civil
PrescriptionFacts
1 (Type/Class)	Deontic.Civil.Types, Deontic.Civil
2 (Data Constructor)	Deontic.Civil.Types, Deontic.Civil
PrescriptionK	Deontic.Civil.Types, Deontic.Civil
Presumption	Deontic.Civil.Types, Deontic.Civil
PropertyTransferAct
1 (Type/Class)	Deontic.Civil.Types, Deontic.Civil
2 (Data Constructor)	Deontic.Civil.Types, Deontic.Civil
ptActId	Deontic.Civil.Types, Deontic.Civil
ptActor	Deontic.Civil.Types, Deontic.Civil