entailment:D | entailment:Entailment | ||
entailment:Entailment | |||
entailment:Entailment | |||
entailment:RDF | entailment:Entailment | ||
entailment:RDFS | entailment:Entailment | ||
entailment:RIF | entailment:Entailment | ||
entailment:Simple | entailment:Entailment |
entailment:D | entailment:Entailment | ||
entailment:Entailment | |||
entailment:Entailment | |||
entailment:RDF | entailment:Entailment | ||
entailment:RDFS | entailment:Entailment | ||
entailment:RIF | entailment:Entailment | ||
entailment:Simple | entailment:Entailment |