@Override public final <O> O accept( ModifiableIndexedAxiomInference.Visitor<O> visitor) { return accept( (ModifiableIndexedSubObjectPropertyOfAxiomInference.Visitor<O>) visitor); }
@Override public final ModifiableIndexedSubObjectPropertyOfAxiom getConclusion( ModifiableIndexedSubObjectPropertyOfAxiom.Factory factory) { return factory.getIndexedSubObjectPropertyOfAxiom(getOriginalAxiom(), getSubPropertyChain(), getSuperProperty()); }
@Override public final IndexedSubObjectPropertyOfAxiom getConclusion( IndexedSubObjectPropertyOfAxiom.Factory factory) { return factory.getIndexedSubObjectPropertyOfAxiom(getOriginalAxiom(), getSubPropertyChain(), getSuperProperty()); }
@Override public final IndexedSubObjectPropertyOfAxiom getConclusion( IndexedSubObjectPropertyOfAxiom.Factory factory) { return factory.getIndexedSubObjectPropertyOfAxiom(getOriginalAxiom(), getSubPropertyChain(), getSuperProperty()); }
@Override public final <O> O accept( ModifiableIndexedAxiomInference.Visitor<O> visitor) { return accept( (ModifiableIndexedSubObjectPropertyOfAxiomInference.Visitor<O>) visitor); }
@Override public final ModifiableIndexedSubObjectPropertyOfAxiom getConclusion( ModifiableIndexedSubObjectPropertyOfAxiom.Factory factory) { return factory.getIndexedSubObjectPropertyOfAxiom(getOriginalAxiom(), getSubPropertyChain(), getSuperProperty()); }
@Override public final <O> O accept( ModifiableIndexedAxiomInference.Visitor<O> visitor) { return accept( (ModifiableIndexedSubObjectPropertyOfAxiomInference.Visitor<O>) visitor); }
@Override public final IndexedSubObjectPropertyOfAxiom getConclusion( IndexedSubObjectPropertyOfAxiom.Factory factory) { return factory.getIndexedSubObjectPropertyOfAxiom(getOriginalAxiom(), getSubPropertyChain(), getSuperProperty()); }
@Override public final <O> O accept(IndexedAxiomInference.Visitor<O> visitor) { return accept( (IndexedSubObjectPropertyOfAxiomInference.Visitor<O>) visitor); }
@Override public final ModifiableIndexedSubObjectPropertyOfAxiom getConclusion( ModifiableIndexedSubObjectPropertyOfAxiom.Factory factory) { return factory.getIndexedSubObjectPropertyOfAxiom(getOriginalAxiom(), getSubPropertyChain(), getSuperProperty()); }
@Override public final <O> O accept(IndexedAxiomInference.Visitor<O> visitor) { return accept( (IndexedSubObjectPropertyOfAxiomInference.Visitor<O>) visitor); }
@Override public final <O> O accept(IndexedAxiomInference.Visitor<O> visitor) { return accept( (IndexedSubObjectPropertyOfAxiomInference.Visitor<O>) visitor); }