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

Index - I

IllegalConditionDeontic.Civil.Types, Deontic.Civil
IndicatedAuthorityDeontic.Civil.Types, Deontic.Civil
InlineDeontic.Civil.Render, Deontic.Civil
InterruptionDeontic.Civil.Types, Deontic.Civil
InvalidityKDeontic.Civil.Types, Deontic.Civil
IsAdultDeontic.Civil.Types, Deontic.Civil
IsJuristicPersonDeontic.Civil.Types, Deontic.Civil
IsMinorDeontic.Civil.Types, Deontic.Civil
IsMovablePropertyDeontic.Civil.Types, Deontic.Civil
IsNaturalPersonDeontic.Civil.Types, Deontic.Civil
IsRealPropertyDeontic.Civil.Types, Deontic.Civil
ItalicDeontic.Civil.Render, Deontic.Civil