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

Index - C

caActIdDeontic.Civil.Types, Deontic.Civil
CancellableAct 
1 (Type/Class)Deontic.Civil.Types, Deontic.Civil
2 (Data Constructor)Deontic.Civil.Types, Deontic.Civil
CancellationFacts 
1 (Type/Class)Deontic.Civil.Types, Deontic.Civil
2 (Data Constructor)Deontic.Civil.Types, Deontic.Civil
CancellationKDeontic.Civil.Types, Deontic.Civil
caPriorVerdictDeontic.Civil.Types, Deontic.Civil
CaseFacts 
1 (Type/Class)Deontic.Civil.Evaluate, Deontic.Civil
2 (Data Constructor)Deontic.Civil.Evaluate, Deontic.Civil
CaseResult 
1 (Type/Class)Deontic.Civil.Evaluate, Deontic.Civil
2 (Data Constructor)Deontic.Civil.Evaluate, Deontic.Civil
cfActIdDeontic.Civil.Evaluate, Deontic.Civil
cfActorDeontic.Civil.Evaluate, Deontic.Civil
cfCivilFactsDeontic.Civil.Evaluate, Deontic.Civil
cfCounterpartyDeontic.Civil.Evaluate, Deontic.Civil
cfDomainFactsDeontic.Civil.Evaluate, Deontic.Civil
CivilFactDeontic.Civil.Types, Deontic.Civil
ClandestinePossessionDeontic.Civil.Types, Deontic.Civil
cnfCancelledDeontic.Civil.Types, Deontic.Civil
cnfCauseCeasedDeontic.Civil.Types, Deontic.Civil
cnfConstructiveDeontic.Civil.Types, Deontic.Civil
cnfObjectionReservedDeontic.Civil.Types, Deontic.Civil
cnfRatifiedDeontic.Civil.Types, Deontic.Civil
cnfRatifierIsGuardianDeontic.Civil.Types, Deontic.Civil
coActIdDeontic.Civil.Types, Deontic.Civil
CodeDeontic.Civil.Render, Deontic.Civil
cofConsentedDeontic.Civil.Types, Deontic.Civil
cofOwnersDeontic.Civil.Types, Deontic.Civil
CompulsoryExecutionDeontic.Civil.Types, Deontic.Civil
condActIdDeontic.Civil.Types, Deontic.Civil
condBadFaithDeontic.Civil.Types, Deontic.Civil
CondFulfilledDeontic.Civil.Types, Deontic.Civil
CondIllegalDeontic.Civil.Types, Deontic.Civil
CondImpossibleDeontic.Civil.Types, Deontic.Civil
ConditionalAct 
1 (Type/Class)Deontic.Civil.Types, Deontic.Civil
2 (Data Constructor)Deontic.Civil.Types, Deontic.Civil
ConditionalFacts 
1 (Type/Class)Deontic.Civil.Types, Deontic.Civil
2 (Data Constructor)Deontic.Civil.Types, Deontic.Civil
ConditionalKDeontic.Civil.Types, Deontic.Civil
ConditionStateDeontic.Civil.Types, Deontic.Civil
ConditionTypeDeontic.Civil.Types, Deontic.Civil
CondPendingDeontic.Civil.Types, Deontic.Civil
condStateDeontic.Civil.Types, Deontic.Civil
condTypeDeontic.Civil.Types, Deontic.Civil
ConstructiveRatificationDeontic.Civil.Types, Deontic.Civil
ConstructiveRatificationEventDeontic.Civil.Types, Deontic.Civil
ContraBonorsMoresDeontic.Civil.Types, Deontic.Civil
ContributoryNegDeontic.Civil.Types, Deontic.Civil
ConversionDeontic.Civil.Types, Deontic.Civil
CoOwnershipAct 
1 (Type/Class)Deontic.Civil.Types, Deontic.Civil
2 (Data Constructor)Deontic.Civil.Types, Deontic.Civil
CoOwnershipFacts 
1 (Type/Class)Deontic.Civil.Types, Deontic.Civil
2 (Data Constructor)Deontic.Civil.Types, Deontic.Civil
CoOwnershipKDeontic.Civil.Types, Deontic.Civil
CounterpartyCouldHaveKnownDeontic.Civil.Types, Deontic.Civil
CounterpartyKnewDeontic.Civil.Types, Deontic.Civil
CounterpartyKnewFraudDeontic.Civil.Types, Deontic.Civil
CounterpartyKnewNoAuthorityDeontic.Civil.Types, Deontic.Civil
CounterpartyKnowledgeDeontic.Civil.Types, Deontic.Civil
CreditorDefenseDeontic.Civil.Types, Deontic.Civil
crJudgmentDeontic.Civil.Evaluate, Deontic.Civil
crLabelDeontic.Civil.Evaluate, Deontic.Civil