public IndexedClassExpression getDefinition() { return getSubsumer(); }
public IndexedClassExpression getDefinition() { return getSubsumer(); }
public IndexedClassExpression getDefinition() { return getSubsumer(); }
public IndexedEquivalentClassesAxiom getSecondPremise( IndexedEquivalentClassesAxiom.Factory factory) { return factory.getIndexedEquivalentClassesAxiom(reason_, defined_, getSubsumer()); }
public IndexedEquivalentClassesAxiom getSecondPremise( IndexedEquivalentClassesAxiom.Factory factory) { return factory.getIndexedEquivalentClassesAxiom(reason_, defined_, getSubsumer()); }
public IndexedEquivalentClassesAxiom getSecondPremise( IndexedEquivalentClassesAxiom.Factory factory) { return factory.getIndexedEquivalentClassesAxiom(reason_, defined_, getSubsumer()); }