@Override public ElkClassInclusionTopObjectHasValue getElkClassInclusionTopObjectHasValue( ElkIndividual value) { return new ElkClassInclusionTopObjectHasValue(value); }
@Override public ElkSubClassOfAxiom getPremise(int index, ElkObject.Factory factory) { return failGetPremise(index); }
@Override public ElkClassInclusionTopObjectHasValue getElkClassInclusionTopObjectHasValue( ElkIndividual value) { return new ElkClassInclusionTopObjectHasValue(value); }
@Override public ElkSubClassOfAxiom getPremise(int index, ElkObject.Factory factory) { return failGetPremise(index); }
@Override public ElkClassInclusionTopObjectHasValue getElkClassInclusionTopObjectHasValue( ElkIndividual value) { return new ElkClassInclusionTopObjectHasValue(value); }
@Override public ElkSubClassOfAxiom getPremise(int index, ElkObject.Factory factory) { return failGetPremise(index); }
@Override public Integer visit(ElkClassInclusionTopObjectHasValue inference) { return combinedHashCode( hashCode(ElkClassInclusionTopObjectHasValue.class), hashCode(inference.getValue())); }
@Override public Integer visit(ElkClassInclusionTopObjectHasValue inference) { return combinedHashCode( hashCode(ElkClassInclusionTopObjectHasValue.class), hashCode(inference.getValue())); }
@Override public Integer visit(ElkClassInclusionTopObjectHasValue inference) { return combinedHashCode( hashCode(ElkClassInclusionTopObjectHasValue.class), hashCode(inference.getValue())); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getOwlThing(), factory.getObjectHasValue(factory.getOwlTopObjectProperty(), getValue())); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getOwlThing(), factory.getObjectHasValue(factory.getOwlTopObjectProperty(), getValue())); }
@Override public ElkSubClassOfAxiom getConclusion(ElkObject.Factory factory) { return factory.getSubClassOfAxiom(factory.getOwlThing(), factory.getObjectHasValue(factory.getOwlTopObjectProperty(), getValue())); }