| A model is implemented by one or more countermeasures. |
| owl:ObjectProperty |
ObjectProperty(sec:modelImplementedBy annotation(rdfs:comment "A model is implemented by one or more countermeasures."^^<http://www.w3.org/2001/XMLSchema#string>)
inverseOf(sec:implementsModel)
domain(sec:Model)
range(sec:Countermeasure))