entailment:RIF | rdfs:isDefinedBy | : Logical_Entailmenthttp://www.w3.org/TR/2009/CR-rif-bld-20091001/# Create a prefix for http://www.w3.org/TR/2009/CR-rif-bld-20091001/# Hit Enter to save Double click to create a prefix | graph:default |
entailment:RIF | rdfs:isDefinedBy | : Logical_Entailmenthttp://www.w3.org/TR/2009/CR-rif-bld-20091001/# Create a prefix for http://www.w3.org/TR/2009/CR-rif-bld-20091001/# Hit Enter to save Double click to create a prefix | graph:default |