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

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

laActId	Deontic.Civil.Types, Deontic.Civil
laLessee	Deontic.Civil.Types, Deontic.Civil
laLessor	Deontic.Civil.Types, Deontic.Civil
LeaseAct
1 (Type/Class)	Deontic.Civil.Types, Deontic.Civil
2 (Data Constructor)	Deontic.Civil.Types, Deontic.Civil
LeaseFacts
1 (Type/Class)	Deontic.Civil.Types, Deontic.Civil
2 (Data Constructor)	Deontic.Civil.Types, Deontic.Civil
LeaseK	Deontic.Civil.Types, Deontic.Civil
lfContinuedUse	Deontic.Civil.Types, Deontic.Civil
lfNoObjection	Deontic.Civil.Types, Deontic.Civil
lfPeriodExpired	Deontic.Civil.Types, Deontic.Civil
lfRentPaid	Deontic.Civil.Types, Deontic.Civil
lfTwoRentsLate	Deontic.Civil.Types, Deontic.Civil
lfValidContract	Deontic.Civil.Types, Deontic.Civil