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

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

Day	Deontic.Civil.Types, Deontic.Civil
DefaultAct
1 (Type/Class)	Deontic.Civil.Types, Deontic.Civil
2 (Data Constructor)	Deontic.Civil.Types, Deontic.Civil
defaultCaseFacts	Deontic.Civil.Evaluate, Deontic.Civil
DefaultFacts
1 (Type/Class)	Deontic.Civil.Types, Deontic.Civil
2 (Data Constructor)	Deontic.Civil.Types, Deontic.Civil
DefaultK	Deontic.Civil.Types, Deontic.Civil
DemandForPerformance	Deontic.Civil.Types, Deontic.Civil
dfActId	Deontic.Civil.Types, Deontic.Civil
dfCreditor	Deontic.Civil.Types, Deontic.Civil
dfCreditorFault	Deontic.Civil.Types, Deontic.Civil
dfDebtor	Deontic.Civil.Types, Deontic.Civil
dfDebtorFault	Deontic.Civil.Types, Deontic.Civil
dfImpossible	Deontic.Civil.Types, Deontic.Civil
dfNonPerformance	Deontic.Civil.Types, Deontic.Civil
dfPerformanceDue	Deontic.Civil.Types, Deontic.Civil
domainFact	Deontic.Civil.Evaluate, Deontic.Civil
DomainKey	Deontic.Civil.Types, Deontic.Civil