http://www.estrellaproject.org/lkif-core/lkif-rules.owl#applies
Property rules:applies

Annotations
rdfs:comment
Specifies whether some rule applies to some atom

Property Axioms
rdfs:range
role:plays some rules:Atom
rdfs:subPropertyOf
rules:rule_predicate

Other Properties
rdf:type
owl:ObjectProperty

Generated with TopBraid Composer by TopQuadrant, Inc.