http://www.estrellaproject.org/lkif-core/time-modification.owl#produce_inforce_modification
Property modification:produce_inforce_modification

Property Axioms
rdfs:domain
modification:Repeal or modification:Integration or modification:Substitution
rdfs:range
modification:Renewal or modification:Annulment

Other Properties
rdf:type
owl:ObjectProperty
owl:InverseFunctionalProperty

Generated with TopBraid Composer by TopQuadrant, Inc.