%------------------------------------------------------------------------------ % File : Toma---0.7 % Problem : SWB009-10 : TPTP v9.0.0. Released v7.5.0. % Transfm : none % Format : tptp:raw % Command : run_Leo-III %s %d THM % Computer : n012.cluster.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz % Memory : 8042.1875MB % OS : Linux 3.10.0-693.el7.x86_64 % CPULimit : 300s % WCLimit : 300s % DateTime : Tue Jul 15 08:00:37 AM UTC 2025 % Result : Satisfiable 17.09s 16.78s % Output : Assurance 0s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.10 % Problem : SWB009-10 : TPTP v9.0.0. Released v7.5.0. % 0.03/0.10 % Command : run_Leo-III %s %d THM % 0.10/0.31 % Computer : n012.cluster.edu % 0.10/0.31 % Model : x86_64 x86_64 % 0.10/0.31 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.10/0.31 % Memory : 8042.1875MB % 0.10/0.31 % OS : Linux 3.10.0-693.el7.x86_64 % 0.16/0.31 % CPULimit : 300 % 0.16/0.31 % WCLimit : 300 % 0.16/0.31 % DateTime : Mon Jul 14 19:24:19 EDT 2025 % 0.16/0.31 % CPUTime : % 17.09/16.78 % SZS status Satisfiable % 17.09/16.78 The following TRS is a complete presentation of the axioms, but the goal is not joinable. % 17.09/16.78 1: ir(X) -> true % 17.09/16.78 2: eq(X, X) -> true0 % 17.09/16.78 3: iext(uri_rdf_type, uri_rdf_first, uri_rdf_Property) -> true % 17.09/16.78 4: iext(uri_rdf_type, uri_rdf_nil, uri_rdf_List) -> true % 17.09/16.78 5: iext(uri_rdf_type, uri_rdf_rest, uri_rdf_Property) -> true % 17.09/16.78 6: iext(uri_rdf_type, uri_rdf__1, uri_rdf_Property) -> true % 17.09/16.78 7: iext(uri_rdf_type, uri_rdf__2, uri_rdf_Property) -> true % 17.09/16.78 8: iext(uri_rdf_type, uri_rdf__3, uri_rdf_Property) -> true % 17.09/16.78 9: iext(uri_rdf_type, uri_rdf_object, uri_rdf_Property) -> true % 17.09/16.78 10: iext(uri_rdf_type, uri_rdf_value, uri_rdf_Property) -> true % 17.09/16.78 11: iext(uri_rdf_type, uri_rdf_subject, uri_rdf_Property) -> true % 17.09/16.78 12: iext(uri_rdf_type, uri_rdf_type, uri_rdf_Property) -> true % 17.09/16.78 13: iext(uri_rdfs_domain, uri_rdfs_comment, uri_rdfs_Resource) -> true % 17.09/16.78 14: iext(uri_rdfs_range, uri_rdfs_comment, uri_rdfs_Literal) -> true % 17.09/16.78 15: iext(uri_rdfs_domain, uri_rdfs_isDefinedBy, uri_rdfs_Resource) -> true % 17.09/16.78 16: iext(uri_rdfs_range, uri_rdfs_isDefinedBy, uri_rdfs_Resource) -> true % 17.09/16.78 17: iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso) -> true % 17.09/16.78 18: iext(uri_rdfs_domain, uri_rdfs_label, uri_rdfs_Resource) -> true % 17.09/16.78 19: iext(uri_rdfs_range, uri_rdfs_label, uri_rdfs_Literal) -> true % 17.09/16.78 20: iext(uri_rdfs_domain, uri_rdfs_seeAlso, uri_rdfs_Resource) -> true % 17.09/16.78 21: iext(uri_rdfs_range, uri_rdfs_seeAlso, uri_rdfs_Resource) -> true % 17.09/16.78 22: iext(uri_rdfs_domain, uri_rdf_first, uri_rdf_List) -> true % 17.09/16.78 23: iext(uri_rdfs_range, uri_rdf_first, uri_rdfs_Resource) -> true % 17.09/16.78 24: iext(uri_rdfs_domain, uri_rdf_rest, uri_rdf_List) -> true % 17.09/16.78 25: iext(uri_rdfs_range, uri_rdf_rest, uri_rdf_List) -> true % 17.09/16.78 26: iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Container) -> true % 17.09/16.78 27: iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Container) -> true % 17.09/16.78 28: iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property) -> true % 17.09/16.78 29: iext(uri_rdfs_domain, uri_rdfs_member, uri_rdfs_Resource) -> true % 17.09/16.78 30: iext(uri_rdfs_range, uri_rdfs_member, uri_rdfs_Resource) -> true % 17.09/16.78 31: iext(uri_rdfs_domain, uri_rdf__1, uri_rdfs_Resource) -> true % 17.09/16.78 32: iext(uri_rdfs_domain, uri_rdf__2, uri_rdfs_Resource) -> true % 17.09/16.78 33: iext(uri_rdfs_domain, uri_rdf__3, uri_rdfs_Resource) -> true % 17.09/16.78 34: iext(uri_rdfs_range, uri_rdf__1, uri_rdfs_Resource) -> true % 17.09/16.78 35: iext(uri_rdfs_range, uri_rdf__2, uri_rdfs_Resource) -> true % 17.09/16.78 36: iext(uri_rdfs_range, uri_rdf__3, uri_rdfs_Resource) -> true % 17.09/16.78 37: iext(uri_rdf_type, uri_rdf__1, uri_rdfs_ContainerMembershipProperty) -> true % 17.09/16.78 38: iext(uri_rdf_type, uri_rdf__2, uri_rdfs_ContainerMembershipProperty) -> true % 17.09/16.78 39: iext(uri_rdf_type, uri_rdf__3, uri_rdfs_ContainerMembershipProperty) -> true % 17.09/16.78 40: iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Container) -> true % 17.09/16.78 41: iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Literal) -> true % 17.09/16.78 42: iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Datatype) -> true % 17.09/16.78 43: iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Class) -> true % 17.09/16.78 44: iext(uri_rdfs_domain, uri_rdfs_domain, uri_rdf_Property) -> true % 17.09/16.78 45: iext(uri_rdfs_range, uri_rdfs_domain, uri_rdfs_Class) -> true % 17.09/16.78 46: iext(uri_rdf_type, uri_rdf_Property, uri_rdfs_Class) -> true % 17.09/16.78 47: iext(uri_rdfs_domain, uri_rdfs_range, uri_rdf_Property) -> true % 17.09/16.78 48: iext(uri_rdfs_range, uri_rdfs_range, uri_rdfs_Class) -> true % 17.09/16.78 49: iext(uri_rdfs_domain, uri_rdf_object, uri_rdfs_Statement) -> true % 17.09/16.78 50: iext(uri_rdfs_range, uri_rdf_predicate, uri_rdfs_Resource) -> true % 17.09/16.78 51: iext(uri_rdfs_domain, uri_rdf_predicate, uri_rdfs_Statement) -> true % 17.09/16.78 52: iext(uri_rdfs_domain, uri_rdf_subject, uri_rdfs_Statement) -> true % 17.09/16.78 53: iext(uri_rdfs_range, uri_rdf_subject, uri_rdfs_Resource) -> true % 17.09/16.78 54: iext(uri_rdfs_domain, uri_rdfs_subClassOf, uri_rdfs_Class) -> true % 17.09/16.78 55: iext(uri_rdfs_range, uri_rdfs_subClassOf, uri_rdfs_Class) -> true % 17.09/16.78 56: iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, uri_rdf_Property) -> true % 17.09/16.78 57: iext(uri_rdfs_range, uri_rdfs_subPropertyOf, uri_rdf_Property) -> true % 17.09/16.78 58: iext(uri_rdfs_domain, uri_rdf_type, uri_rdfs_Resource) -> true % 17.09/16.78 59: iext(uri_rdfs_range, uri_rdf_type, uri_rdfs_Class) -> true % 17.09/16.78 60: iext(uri_rdfs_domain, uri_rdf_value, uri_rdfs_Resource) -> true % 17.09/16.78 61: iext(uri_rdfs_range, uri_rdf_value, uri_rdfs_Resource) -> true % 17.09/16.78 62: iext(uri_owl_someValuesFrom, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, uri_ex_c) -> true % 17.09/16.78 63: iext(uri_owl_onProperty, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, uri_ex_p) -> true % 17.09/16.78 64: iext(uri_rdf_type, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, uri_owl_Restriction) -> true % 17.09/16.78 65: iext(uri_rdf_type, uri_ex_c, uri_owl_Class) -> true % 17.09/16.78 66: iext(uri_rdf_type, uri_ex_s, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z) -> true % 17.09/16.78 67: iext(uri_rdf_type, uri_ex_p, uri_owl_ObjectProperty) -> true % 17.09/16.78 68: ifeq(X, X, Y, Z) -> Y % 17.09/16.78 70: ifeq(lv(X), true, true, true) -> true % 17.09/16.78 72: ifeq(icext(uri_rdfs_Resource, X), true, true, true) -> true % 17.09/16.78 73: ifeq(icext(uri_rdfs_Class, X), true, ic(X), true) -> true % 17.09/16.78 75: icext(uri_rdfs_Resource, X) -> true % 17.09/16.78 76: ifeq(icext(uri_rdfs_Literal, X), true, lv(X), true) -> true % 17.09/16.78 77: ifeq(ic(X), true, icext(uri_rdfs_Class, X), true) -> true % 17.09/16.78 78: ifeq(lv(X), true, icext(uri_rdfs_Literal, X), true) -> true % 17.09/16.78 79: ifeq(iext(X, Y, Z), true, ip(X), true) -> true % 17.09/16.78 80: ip(uri_owl_onProperty) -> true % 17.09/16.78 81: true -> ip(uri_owl_someValuesFrom) % 17.09/16.78 82: ip(uri_rdf_type) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 83: ip(uri_rdfs_domain) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 84: ip(uri_rdfs_range) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 85: ip(uri_rdfs_subClassOf) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 86: ip(uri_rdfs_subPropertyOf) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 88: ifeq(iext(uri_rdfs_subClassOf, X, Y), ip(uri_owl_someValuesFrom), ic(X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 89: ic(uri_rdf_Alt) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 90: ic(uri_rdf_Bag) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 91: ic(uri_rdf_XMLLiteral) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 92: ic(uri_rdfs_ContainerMembershipProperty) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 93: ic(uri_rdfs_Datatype) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 94: ic(uri_rdfs_Seq) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 95: icext(uri_rdfs_Class, uri_rdfs_Seq) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 96: icext(uri_rdfs_Class, uri_rdf_Bag) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 97: icext(uri_rdfs_Class, uri_rdfs_Datatype) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 98: icext(uri_rdfs_Class, uri_rdf_XMLLiteral) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 99: icext(uri_rdfs_Class, uri_rdfs_ContainerMembershipProperty) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 100: icext(uri_rdfs_Class, uri_rdf_Alt) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 102: ifeq(iext(uri_rdfs_subClassOf, X, Y), ip(uri_owl_someValuesFrom), ic(Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 103: ic(uri_rdfs_Container) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 104: ic(uri_rdfs_Literal) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 105: ic(uri_rdf_Property) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 106: ic(uri_rdfs_Class) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 107: icext(uri_rdfs_Class, uri_rdfs_Class) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 108: icext(uri_rdfs_Class, uri_rdf_Property) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 109: icext(uri_rdfs_Class, uri_rdfs_Container) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 110: icext(uri_rdfs_Class, uri_rdfs_Literal) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 112: ifeq(ic(X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 113: iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdf_Alt) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 114: iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdf_Bag) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 115: iext(uri_rdfs_subClassOf, uri_rdf_Property, uri_rdf_Property) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 116: iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdf_XMLLiteral) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 117: iext(uri_rdfs_subClassOf, uri_rdfs_Class, uri_rdfs_Class) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 118: iext(uri_rdfs_subClassOf, uri_rdfs_Container, uri_rdfs_Container) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 119: iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdfs_ContainerMembershipProperty) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 120: iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Datatype) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 121: iext(uri_rdfs_subClassOf, uri_rdfs_Literal, uri_rdfs_Literal) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 122: iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Seq) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 124: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_owl_someValuesFrom), ip(Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 125: ip(uri_rdfs_seeAlso) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 127: ifeq(ip(X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subPropertyOf, X, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 128: iext(uri_rdfs_subPropertyOf, uri_owl_someValuesFrom, uri_owl_someValuesFrom) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 129: iext(uri_rdfs_subPropertyOf, uri_owl_onProperty, uri_owl_onProperty) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 130: iext(uri_rdfs_subPropertyOf, uri_rdf_type, uri_rdf_type) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 131: iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, uri_rdfs_domain) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 132: iext(uri_rdfs_subPropertyOf, uri_rdfs_range, uri_rdfs_range) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 133: iext(uri_rdfs_subPropertyOf, uri_rdfs_seeAlso, uri_rdfs_seeAlso) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 134: iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, uri_rdfs_subClassOf) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 135: iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 137: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_owl_someValuesFrom), ip(X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 138: ip(uri_rdfs_isDefinedBy) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 139: iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, uri_rdfs_isDefinedBy) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 141: ifeq(ic(X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 142: iext(uri_rdfs_subClassOf, uri_rdf_Alt, uri_rdfs_Resource) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 143: ic(uri_rdfs_Resource) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 144: iext(uri_rdfs_subClassOf, uri_rdf_Bag, uri_rdfs_Resource) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 145: iext(uri_rdfs_subClassOf, uri_rdf_Property, uri_rdfs_Resource) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 146: iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, uri_rdfs_Resource) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 147: iext(uri_rdfs_subClassOf, uri_rdfs_Class, uri_rdfs_Resource) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 148: iext(uri_rdfs_subClassOf, uri_rdfs_Container, uri_rdfs_Resource) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 149: iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Resource) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 150: iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, uri_rdfs_Resource) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 151: iext(uri_rdfs_subClassOf, uri_rdfs_Literal, uri_rdfs_Resource) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 152: iext(uri_rdfs_subClassOf, uri_rdfs_Seq, uri_rdfs_Resource) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 153: icext(uri_rdfs_Class, uri_rdfs_Resource) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 154: iext(uri_rdfs_subClassOf, uri_rdfs_Resource, uri_rdfs_Resource) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 156: ifeq(ip(X), ip(uri_owl_someValuesFrom), iext(uri_rdf_type, X, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 157: iext(uri_rdf_type, uri_owl_someValuesFrom, uri_rdf_Property) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 158: iext(uri_rdf_type, uri_owl_onProperty, uri_rdf_Property) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 159: iext(uri_rdf_type, uri_rdfs_domain, uri_rdf_Property) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 160: iext(uri_rdf_type, uri_rdfs_isDefinedBy, uri_rdf_Property) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 161: iext(uri_rdf_type, uri_rdfs_range, uri_rdf_Property) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 162: iext(uri_rdf_type, uri_rdfs_seeAlso, uri_rdf_Property) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 163: iext(uri_rdf_type, uri_rdfs_subClassOf, uri_rdf_Property) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 164: iext(uri_rdf_type, uri_rdfs_subPropertyOf, uri_rdf_Property) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 166: ifeq(iext(uri_rdf_type, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 167: ip(uri_rdf__1) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 168: ip(uri_rdf__2) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 169: ip(uri_rdf__3) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 170: ip(uri_rdf_first) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 171: ip(uri_rdf_object) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 172: ip(uri_rdf_rest) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 173: ip(uri_rdf_subject) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 174: ip(uri_rdf_value) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 175: iext(uri_rdfs_subPropertyOf, uri_rdf_value, uri_rdf_value) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 176: iext(uri_rdfs_subPropertyOf, uri_rdf_subject, uri_rdf_subject) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 177: iext(uri_rdfs_subPropertyOf, uri_rdf_first, uri_rdf_first) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 178: iext(uri_rdfs_subPropertyOf, uri_rdf_object, uri_rdf_object) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 179: iext(uri_rdfs_subPropertyOf, uri_rdf__3, uri_rdf__3) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 180: iext(uri_rdfs_subPropertyOf, uri_rdf_rest, uri_rdf_rest) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 181: iext(uri_rdfs_subPropertyOf, uri_rdf__1, uri_rdf__1) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 182: iext(uri_rdfs_subPropertyOf, uri_rdf__2, uri_rdf__2) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 183: ifeq(iext(uri_owl_onProperty, X, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 185: ifeq(icext(X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdf_type, Y, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 186: iext(uri_rdf_type, X, uri_rdfs_Resource) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 187: iext(uri_rdf_type, uri_rdf_Alt, uri_rdfs_Class) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 188: iext(uri_rdf_type, uri_rdf_XMLLiteral, uri_rdfs_Class) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 189: iext(uri_rdf_type, uri_rdf_Bag, uri_rdfs_Class) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 190: iext(uri_rdf_type, uri_rdfs_Class, uri_rdfs_Class) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 191: iext(uri_rdf_type, uri_rdfs_Datatype, uri_rdfs_Class) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 192: iext(uri_rdf_type, uri_rdfs_Container, uri_rdfs_Class) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 193: iext(uri_rdf_type, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Class) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 194: iext(uri_rdf_type, uri_rdfs_Literal, uri_rdfs_Class) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 195: iext(uri_rdf_type, uri_rdfs_Seq, uri_rdfs_Class) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 196: iext(uri_rdf_type, uri_rdfs_Resource, uri_rdfs_Class) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 198: ifeq(iext(uri_rdf_type, X, Y), ip(uri_owl_someValuesFrom), icext(Y, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 199: icext(uri_owl_Restriction, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 200: icext(uri_owl_Class, uri_ex_c) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 201: icext(uri_owl_ObjectProperty, uri_ex_p) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 202: icext(sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, uri_ex_s) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 203: icext(uri_rdfs_Datatype, uri_rdf_XMLLiteral) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 204: icext(uri_rdf_Property, uri_rdf__1) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 205: icext(uri_rdfs_ContainerMembershipProperty, uri_rdf__1) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 206: icext(uri_rdf_Property, uri_rdf__2) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 207: icext(uri_rdfs_ContainerMembershipProperty, uri_rdf__2) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 208: icext(uri_rdf_Property, uri_rdf__3) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 209: icext(uri_rdfs_ContainerMembershipProperty, uri_rdf__3) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 210: icext(uri_rdf_Property, uri_rdf_first) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 211: icext(uri_rdf_List, uri_rdf_nil) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 212: icext(uri_rdf_Property, uri_rdf_object) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 213: icext(uri_rdf_Property, uri_rdf_rest) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 214: icext(uri_rdf_Property, uri_rdf_subject) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 215: icext(uri_rdf_Property, uri_rdf_type) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 216: icext(uri_rdf_Property, uri_rdf_value) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 217: icext(uri_rdf_Property, uri_owl_someValuesFrom) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 218: icext(uri_rdf_Property, uri_rdfs_domain) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 219: icext(uri_rdf_Property, uri_owl_onProperty) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 220: icext(uri_rdf_Property, uri_rdfs_isDefinedBy) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 221: icext(uri_rdf_Property, uri_rdfs_range) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 222: icext(uri_rdf_Property, uri_rdfs_seeAlso) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 223: icext(uri_rdf_Property, uri_rdfs_subClassOf) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 224: icext(uri_rdf_Property, uri_rdfs_subPropertyOf) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 226: ifeq(icext(uri_rdfs_Datatype, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdfs_Literal), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 228: ifeq(icext(uri_rdfs_ContainerMembershipProperty, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subPropertyOf, X, uri_rdfs_member), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 229: iext(uri_rdfs_subPropertyOf, uri_rdf__1, uri_rdfs_member) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 230: ip(uri_rdfs_member) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 231: iext(uri_rdfs_subPropertyOf, uri_rdf__2, uri_rdfs_member) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 232: iext(uri_rdfs_subPropertyOf, uri_rdf__3, uri_rdfs_member) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 233: iext(uri_rdfs_subPropertyOf, uri_rdfs_member, uri_rdfs_member) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 234: iext(uri_rdf_type, uri_rdfs_member, uri_rdf_Property) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 235: icext(uri_rdf_Property, uri_rdfs_member) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 236: ifeq(lv(X), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 237: ifeq(icext(uri_rdfs_Class, X), ip(uri_owl_someValuesFrom), ic(X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 238: ifeq(ic(X), ip(uri_owl_someValuesFrom), icext(uri_rdfs_Class, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 239: ifeq(lv(X), ip(uri_owl_someValuesFrom), icext(uri_rdfs_Literal, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 240: ifeq(icext(uri_rdfs_Literal, X), ip(uri_owl_someValuesFrom), lv(X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 241: ifeq(iext(X, Y, Z), ip(uri_owl_someValuesFrom), ip(X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 242: ifeq(icext(uri_rdfs_Datatype, uri_rdfs_Literal), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 243: ifeq(iext(uri_rdfs_isDefinedBy, X, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 244: ifeq(iext(uri_rdfs_seeAlso, X, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 245: ifeq(iext(uri_rdf_subject, X, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 246: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 247: ifeq(iext(uri_rdf_object, X, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 248: ifeq(iext(uri_rdf_value, X, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 249: ifeq(iext(uri_rdf__2, X, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 250: ifeq(iext(uri_rdf_rest, X, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 251: ifeq(iext(uri_rdf_first, X, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 252: ifeq(iext(uri_rdf__3, X, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 253: ifeq(iext(uri_rdf__1, X, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 254: ifeq(iext(uri_rdfs_domain, X, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 255: ifeq(iext(uri_rdfs_subClassOf, X, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 256: ifeq(iext(uri_rdf_type, X, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 257: ifeq(iext(uri_rdfs_range, X, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 259: eq(tuple(iext(uri_rdf_type, X, uri_ex_c), iext(uri_ex_p, uri_ex_s, X)), tuple(ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom))) -> false % 17.09/16.78 260: ifeq(icext(uri_rdfs_ContainerMembershipProperty, uri_rdfs_member), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 261: ifeq(iext(uri_rdfs_member, X, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 263: ifeq(icext(X, Y), ip(uri_owl_someValuesFrom), ifeq(iext(uri_rdfs_subClassOf, X, Z), ip(uri_owl_someValuesFrom), icext(Z, Y), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 264: ifeq(icext(X, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 265: ifeq(icext(uri_rdf_Alt, X), ip(uri_owl_someValuesFrom), icext(uri_rdfs_Container, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 266: ifeq(icext(uri_rdf_XMLLiteral, X), ip(uri_owl_someValuesFrom), icext(uri_rdfs_Literal, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 267: ifeq(icext(uri_rdf_Bag, X), ip(uri_owl_someValuesFrom), icext(uri_rdfs_Container, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 268: ifeq(icext(uri_rdfs_ContainerMembershipProperty, X), ip(uri_owl_someValuesFrom), icext(uri_rdf_Property, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 269: ifeq(icext(uri_rdfs_Datatype, X), ip(uri_owl_someValuesFrom), icext(uri_rdfs_Class, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 270: ifeq(icext(uri_rdfs_Seq, X), ip(uri_owl_someValuesFrom), icext(uri_rdfs_Container, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 271: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_owl_someValuesFrom), icext(X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 272: ifeq(icext(uri_rdf_Property, X), ip(uri_owl_someValuesFrom), icext(uri_rdf_Property, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 273: ifeq(icext(uri_rdf_XMLLiteral, X), ip(uri_owl_someValuesFrom), icext(uri_rdf_XMLLiteral, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 274: ifeq(icext(uri_rdfs_Class, X), ip(uri_owl_someValuesFrom), icext(uri_rdfs_Class, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 275: ifeq(icext(uri_rdf_Alt, X), ip(uri_owl_someValuesFrom), icext(uri_rdf_Alt, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 276: ifeq(icext(uri_rdfs_ContainerMembershipProperty, X), ip(uri_owl_someValuesFrom), icext(uri_rdfs_ContainerMembershipProperty, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 277: ifeq(icext(uri_rdfs_Container, X), ip(uri_owl_someValuesFrom), icext(uri_rdfs_Container, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 278: ifeq(icext(uri_rdf_Bag, X), ip(uri_owl_someValuesFrom), icext(uri_rdf_Bag, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 279: ifeq(icext(uri_rdfs_Seq, X), ip(uri_owl_someValuesFrom), icext(uri_rdfs_Seq, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 280: ifeq(icext(uri_rdfs_Datatype, X), ip(uri_owl_someValuesFrom), icext(uri_rdfs_Datatype, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 281: ifeq(icext(uri_rdfs_Literal, X), ip(uri_owl_someValuesFrom), icext(uri_rdfs_Literal, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 282: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_first), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 283: ifeq(iext(uri_rdfs_subClassOf, uri_owl_Class, X), ip(uri_owl_someValuesFrom), icext(X, uri_ex_c), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 284: ifeq(iext(uri_rdfs_subClassOf, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, X), ip(uri_owl_someValuesFrom), icext(X, uri_ex_s), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 285: ifeq(iext(uri_rdfs_subClassOf, uri_owl_ObjectProperty, X), ip(uri_owl_someValuesFrom), icext(X, uri_ex_p), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 286: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_List, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_nil), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 287: ifeq(iext(uri_rdfs_subClassOf, uri_owl_Restriction, X), ip(uri_owl_someValuesFrom), icext(X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 288: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf__2), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 289: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf__1), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 290: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf__3), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 291: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf__3), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 292: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf__2), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 293: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_XMLLiteral), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 294: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf__1), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 295: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_type), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 296: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_rest), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 297: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_subject), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 298: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_object), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 299: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_value), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 300: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_XMLLiteral), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 301: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_owl_someValuesFrom), icext(X, uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 302: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_ContainerMembershipProperty), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 303: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 304: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Container), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 305: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Datatype), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 306: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Seq), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 307: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Literal), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 308: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_Bag), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 309: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_Alt), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 310: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 311: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_range), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 312: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 313: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_seeAlso), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 314: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 315: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_owl_someValuesFrom), icext(X, uri_owl_onProperty), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 316: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_isDefinedBy), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 317: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_domain), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 318: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 319: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_member), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 321: ifeq(iext(uri_rdfs_range, X, Y), ip(uri_owl_someValuesFrom), ifeq(iext(X, Z, W), ip(uri_owl_someValuesFrom), icext(Y, W), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 322: ifeq(iext(uri_rdf_predicate, X, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 323: ifeq(iext(uri_rdf_rest, X, Y), ip(uri_owl_someValuesFrom), icext(uri_rdf_List, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 324: ifeq(iext(uri_rdf_type, X, Y), ip(uri_owl_someValuesFrom), icext(uri_rdfs_Class, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 325: icext(uri_rdfs_Class, uri_owl_Restriction) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 326: ic(uri_owl_Restriction) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 327: icext(uri_rdfs_Class, uri_owl_Class) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 328: ic(uri_owl_Class) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 329: icext(uri_rdfs_Class, uri_owl_ObjectProperty) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 330: ic(uri_owl_ObjectProperty) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 331: icext(uri_rdfs_Class, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 332: ic(sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 333: icext(uri_rdfs_Class, uri_rdf_List) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 334: ic(uri_rdf_List) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 335: iext(uri_rdf_type, uri_rdf_List, uri_rdfs_Class) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 336: iext(uri_rdf_type, uri_owl_Restriction, uri_rdfs_Class) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 337: iext(uri_rdf_type, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, uri_rdfs_Class) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 338: iext(uri_rdf_type, uri_owl_ObjectProperty, uri_rdfs_Class) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 339: iext(uri_rdf_type, uri_owl_Class, uri_rdfs_Class) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 340: iext(uri_rdfs_subClassOf, uri_owl_Class, uri_owl_Class) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 341: iext(uri_rdfs_subClassOf, uri_owl_Class, uri_rdfs_Resource) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 342: iext(uri_rdfs_subClassOf, uri_owl_Restriction, uri_owl_Restriction) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 343: iext(uri_rdfs_subClassOf, uri_owl_Restriction, uri_rdfs_Resource) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 344: iext(uri_rdfs_subClassOf, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 345: iext(uri_rdfs_subClassOf, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, uri_rdfs_Resource) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 346: iext(uri_rdfs_subClassOf, uri_owl_ObjectProperty, uri_owl_ObjectProperty) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 347: iext(uri_rdfs_subClassOf, uri_owl_ObjectProperty, uri_rdfs_Resource) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 348: iext(uri_rdfs_subClassOf, uri_rdf_List, uri_rdf_List) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 349: iext(uri_rdfs_subClassOf, uri_rdf_List, uri_rdfs_Resource) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 350: ifeq(iext(uri_rdfs_comment, X, Y), ip(uri_owl_someValuesFrom), icext(uri_rdfs_Literal, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 351: ifeq(iext(uri_rdfs_domain, X, Y), ip(uri_owl_someValuesFrom), icext(uri_rdfs_Class, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 352: icext(uri_rdfs_Class, uri_rdfs_Statement) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 353: ic(uri_rdfs_Statement) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 354: iext(uri_rdf_type, uri_rdfs_Statement, uri_rdfs_Class) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 355: iext(uri_rdfs_subClassOf, uri_rdfs_Statement, uri_rdfs_Statement) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 356: iext(uri_rdfs_subClassOf, uri_rdfs_Statement, uri_rdfs_Resource) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 357: ifeq(iext(uri_rdfs_label, X, Y), ip(uri_owl_someValuesFrom), icext(uri_rdfs_Literal, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 358: ifeq(iext(uri_rdfs_range, X, Y), ip(uri_owl_someValuesFrom), icext(uri_rdfs_Class, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 359: ifeq(iext(uri_rdfs_subClassOf, X, Y), ip(uri_owl_someValuesFrom), icext(uri_rdfs_Class, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 360: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_owl_someValuesFrom), icext(uri_rdf_Property, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 361: ifeq(iext(uri_rdfs_range, uri_owl_onProperty, X), ip(uri_owl_someValuesFrom), icext(X, uri_ex_p), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 362: ifeq(iext(uri_rdfs_range, uri_owl_someValuesFrom, X), ip(uri_owl_someValuesFrom), icext(X, uri_ex_c), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 363: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_owl_Restriction), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 364: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_owl_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 365: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_owl_ObjectProperty), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 366: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 367: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 368: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Datatype), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 369: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 370: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_ContainerMembershipProperty), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 371: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_List), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 372: ifeq(iext(uri_rdfs_range, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 373: ifeq(iext(uri_rdfs_range, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_List), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 374: ifeq(iext(uri_rdfs_range, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Statement), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 375: ifeq(iext(uri_rdfs_range, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 376: ifeq(iext(uri_rdfs_range, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 377: ifeq(iext(uri_rdfs_range, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 378: ifeq(iext(uri_rdfs_range, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_List), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 379: ifeq(iext(uri_rdfs_range, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 380: ifeq(iext(uri_rdfs_range, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Literal), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 381: ifeq(iext(uri_rdfs_range, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 382: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Container), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 383: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Literal), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 384: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 385: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.78 386: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_seeAlso), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 387: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 388: ifeq(iext(uri_rdfs_range, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 389: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_owl_someValuesFrom), icext(X, uri_owl_ObjectProperty), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 390: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Seq), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 391: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_owl_onProperty), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 392: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 393: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_member), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 394: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf__2), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 395: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf__1), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 396: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf__3), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 397: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_first), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 398: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_object), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 399: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_type), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 400: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_subject), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 401: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_rest), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 402: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_value), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 403: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_isDefinedBy), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 404: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_domain), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 405: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_range), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 406: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 407: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 408: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Datatype), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 409: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_ContainerMembershipProperty), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 410: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_Bag), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 411: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_Alt), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 412: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_XMLLiteral), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 413: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Statement), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 414: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_List), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 415: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_owl_someValuesFrom), icext(X, uri_owl_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 416: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_owl_someValuesFrom), icext(X, uri_owl_Restriction), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 417: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_owl_someValuesFrom), icext(X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 418: ifeq(icext(uri_rdfs_Statement, X), ip(uri_owl_someValuesFrom), icext(uri_rdfs_Statement, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 419: ifeq(icext(uri_rdf_List, X), ip(uri_owl_someValuesFrom), icext(uri_rdf_List, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 420: ifeq(icext(uri_owl_Restriction, X), ip(uri_owl_someValuesFrom), icext(uri_owl_Restriction, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 421: ifeq(icext(uri_owl_ObjectProperty, X), ip(uri_owl_someValuesFrom), icext(uri_owl_ObjectProperty, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 422: ifeq(icext(uri_owl_Class, X), ip(uri_owl_someValuesFrom), icext(uri_owl_Class, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 423: ifeq(icext(sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, X), ip(uri_owl_someValuesFrom), icext(sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 424: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Statement), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 425: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_List), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 426: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 427: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_owl_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 428: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_owl_ObjectProperty), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 429: ifeq(iext(uri_rdfs_range, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_owl_Restriction), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 431: ifeq(iext(uri_rdfs_domain, X, Y), ip(uri_owl_someValuesFrom), ifeq(iext(X, Z, W), ip(uri_owl_someValuesFrom), icext(Y, Z), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 432: ifeq(iext(uri_rdfs_comment, X, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 433: ifeq(iext(uri_rdfs_label, X, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 434: ifeq(iext(uri_rdf_rest, X, Y), ip(uri_owl_someValuesFrom), icext(uri_rdf_List, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 435: ifeq(iext(uri_rdf_subject, X, Y), ip(uri_owl_someValuesFrom), icext(uri_rdfs_Statement, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 436: ifeq(iext(uri_rdf_object, X, Y), ip(uri_owl_someValuesFrom), icext(uri_rdfs_Statement, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 437: ifeq(iext(uri_rdf_first, X, Y), ip(uri_owl_someValuesFrom), icext(uri_rdf_List, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 438: ifeq(iext(uri_rdf_predicate, X, Y), ip(uri_owl_someValuesFrom), icext(uri_rdfs_Statement, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 439: ifeq(iext(uri_rdfs_domain, X, Y), ip(uri_owl_someValuesFrom), icext(uri_rdf_Property, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 440: icext(uri_rdf_Property, uri_rdf_predicate) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 441: icext(uri_rdf_Property, uri_rdfs_comment) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 442: icext(uri_rdf_Property, uri_rdfs_label) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 443: iext(uri_rdf_type, uri_rdfs_label, uri_rdf_Property) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 444: ip(uri_rdfs_label) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 445: iext(uri_rdf_type, uri_rdfs_comment, uri_rdf_Property) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 446: ip(uri_rdfs_comment) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 447: iext(uri_rdf_type, uri_rdf_predicate, uri_rdf_Property) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 448: ip(uri_rdf_predicate) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 449: iext(uri_rdfs_subPropertyOf, uri_rdf_predicate, uri_rdf_predicate) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 450: iext(uri_rdfs_subPropertyOf, uri_rdfs_comment, uri_rdfs_comment) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 451: iext(uri_rdfs_subPropertyOf, uri_rdfs_label, uri_rdfs_label) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 452: ifeq(iext(uri_rdfs_range, X, Y), ip(uri_owl_someValuesFrom), icext(uri_rdf_Property, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 453: ifeq(iext(uri_rdfs_subClassOf, X, Y), ip(uri_owl_someValuesFrom), icext(uri_rdfs_Class, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 454: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_owl_someValuesFrom), icext(uri_rdf_Property, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 455: ifeq(iext(uri_rdfs_domain, uri_owl_onProperty, X), ip(uri_owl_someValuesFrom), icext(X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 456: ifeq(iext(uri_rdfs_domain, uri_owl_someValuesFrom, X), ip(uri_owl_someValuesFrom), icext(X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 457: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 458: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_ex_c), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 459: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_ex_p), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 460: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_ex_s), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 461: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 462: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_XMLLiteral), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 463: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf__1), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 464: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf__2), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 465: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf__3), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 466: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_first), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 467: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_nil), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 468: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_object), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 469: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_rest), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 470: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_subject), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 471: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_type), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 472: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_value), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 473: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf__1), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 474: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf__2), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 475: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf__3), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 476: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_first), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 477: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_object), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 478: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_predicate), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 479: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_rest), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 480: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_subject), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 481: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_type), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 482: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_value), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 483: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_comment), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 484: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_domain), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 485: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_isDefinedBy), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 486: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_label), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 487: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_member), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 488: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_range), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 489: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_seeAlso), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 490: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 491: ifeq(iext(uri_rdfs_domain, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 492: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf__1), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 493: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf__2), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 494: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf__3), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 495: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_first), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 496: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_predicate), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 497: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_rest), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 498: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_subject), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 499: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_type), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 500: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_value), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 501: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_comment), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 502: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_domain), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 503: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_isDefinedBy), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 504: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_label), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 505: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_member), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 506: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_range), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 507: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_seeAlso), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 508: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 509: ifeq(iext(uri_rdfs_domain, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 510: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_Alt), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 511: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_Bag), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 512: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_XMLLiteral), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 513: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_ContainerMembershipProperty), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 514: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Datatype), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 515: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Seq), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 516: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_isDefinedBy), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 517: ifeq(iext(uri_rdfs_domain, uri_rdf_type, X), ip(uri_owl_someValuesFrom), icext(X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 518: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 519: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_owl_onProperty), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 520: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Literal), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 521: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_label), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 522: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_comment), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 523: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_predicate), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 524: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 525: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 526: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Container), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 527: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf__2), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 528: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf__1), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 529: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf__3), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 530: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_first), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 531: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_object), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 532: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_type), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 533: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_subject), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 534: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_rest), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 535: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_value), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 536: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_domain), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 537: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_range), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 538: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_seeAlso), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 539: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 540: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 541: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Statement), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 542: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_owl_ObjectProperty), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 543: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_owl_Restriction), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 544: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 545: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_owl_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 546: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_List), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 547: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_member), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 548: ifeq(iext(uri_rdfs_domain, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 549: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_label), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 550: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_comment), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 551: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_label), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 552: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdfs_comment), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 553: ifeq(iext(uri_rdfs_domain, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_predicate), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 554: ifeq(iext(uri_rdfs_range, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), icext(X, uri_rdf_predicate), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 556: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_owl_someValuesFrom), ifeq(iext(X, Z, W), ip(uri_owl_someValuesFrom), iext(Y, Z, W), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 557: ifeq(iext(uri_rdfs_isDefinedBy, X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdfs_seeAlso, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 558: ifeq(iext(uri_rdfs_subPropertyOf, uri_owl_onProperty, X), ip(uri_owl_someValuesFrom), iext(X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, uri_ex_p), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 559: ifeq(iext(uri_rdfs_subPropertyOf, uri_owl_someValuesFrom, X), ip(uri_owl_someValuesFrom), iext(X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, uri_ex_c), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 560: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, uri_owl_Restriction), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 561: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_ex_c, uri_owl_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 562: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_ex_p, uri_owl_ObjectProperty), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 563: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_ex_s, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 564: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_Property, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 565: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_XMLLiteral, uri_rdfs_Datatype), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 566: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf__1, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 567: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf__1, uri_rdfs_ContainerMembershipProperty), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 568: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf__2, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 569: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf__2, uri_rdfs_ContainerMembershipProperty), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 570: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf__3, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 571: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf__3, uri_rdfs_ContainerMembershipProperty), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 572: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_first, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 573: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_nil, uri_rdf_List), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 574: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_object, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 575: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_rest, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 576: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_subject, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 577: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_type, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 578: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_value, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 579: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf__1, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 580: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf__2, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 581: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf__3, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 582: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_first, uri_rdf_List), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 583: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_object, uri_rdfs_Statement), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 584: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_predicate, uri_rdfs_Statement), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 585: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_rest, uri_rdf_List), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 586: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_subject, uri_rdfs_Statement), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 587: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_type, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 588: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_value, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 589: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_comment, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 590: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_domain, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 591: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_isDefinedBy, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 592: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_label, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 593: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_member, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 594: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_range, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 595: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_seeAlso, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 596: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_subClassOf, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 597: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_domain, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_subPropertyOf, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 598: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf__1, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 599: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf__2, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 600: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf__3, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 601: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_first, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 602: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_predicate, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 603: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_rest, uri_rdf_List), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 604: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_subject, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 605: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_type, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 606: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_value, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 607: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_comment, uri_rdfs_Literal), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 608: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_domain, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 609: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_isDefinedBy, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 610: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_label, uri_rdfs_Literal), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 611: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_member, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 612: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_range, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 613: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_seeAlso, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 614: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_subClassOf, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 615: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_range, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_subPropertyOf, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 616: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_Alt, uri_rdfs_Container), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 617: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_Bag, uri_rdfs_Container), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 618: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_XMLLiteral, uri_rdfs_Literal), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 619: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 620: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_Datatype, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 621: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_Seq, uri_rdfs_Container), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 622: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 623: ifeq(iext(uri_owl_someValuesFrom, X, Y), ip(uri_owl_someValuesFrom), iext(uri_owl_someValuesFrom, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 624: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, Y, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 625: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_owl_someValuesFrom, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 626: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_owl_someValuesFrom, uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 627: ifeq(iext(uri_rdfs_range, X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdfs_range, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 628: ifeq(iext(uri_rdfs_seeAlso, X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdfs_seeAlso, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 629: ifeq(iext(uri_rdfs_subClassOf, X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 630: ifeq(iext(uri_rdf_subject, X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdf_subject, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 631: ifeq(iext(uri_rdfs_domain, X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdfs_domain, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 632: ifeq(iext(uri_rdf__2, X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdf__2, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 633: ifeq(iext(uri_rdfs_isDefinedBy, X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdfs_isDefinedBy, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 634: ifeq(iext(uri_owl_onProperty, X, Y), ip(uri_owl_someValuesFrom), iext(uri_owl_onProperty, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 635: ifeq(iext(uri_rdf__1, X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdfs_member, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 636: ifeq(iext(uri_rdf__1, X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdf__1, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 637: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 638: ifeq(iext(uri_rdf_value, X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdf_value, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 639: ifeq(iext(uri_rdf_type, X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdf_type, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 640: ifeq(iext(uri_rdf__3, X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdfs_member, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 641: ifeq(iext(uri_rdf__2, X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdfs_member, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 642: ifeq(iext(uri_rdf__3, X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdf__3, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 643: ifeq(iext(uri_rdf_first, X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdf_first, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 644: ifeq(iext(uri_rdf_rest, X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdf_rest, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 645: ifeq(iext(uri_rdf_object, X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdf_object, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 646: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_Seq, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 647: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_domain, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 648: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_isDefinedBy, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 649: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_Literal, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 650: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_Seq, uri_rdfs_Seq), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 651: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf__1, uri_rdf__1), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 652: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf__1, uri_rdfs_member), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 653: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_owl_onProperty, uri_owl_onProperty), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 654: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_owl_onProperty, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 655: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_Datatype, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 656: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_Datatype, uri_rdfs_Datatype), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 657: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_Literal, uri_rdfs_Literal), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 658: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdfs_ContainerMembershipProperty), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 659: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 660: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_Class, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 661: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_XMLLiteral, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 662: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_Class, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 663: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_Container, uri_rdfs_Container), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 664: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_Container, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 665: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_Bag, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 666: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_Property, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 667: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_XMLLiteral, uri_rdf_XMLLiteral), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 668: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_Property, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 669: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf__3, uri_rdfs_member), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 670: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf__3, uri_rdf__3), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 671: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf__2, uri_rdf__2), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 672: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf__2, uri_rdfs_member), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 673: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_first, uri_rdf_first), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 674: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_rest, uri_rdf_rest), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 675: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_object, uri_rdf_object), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 676: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_value, uri_rdf_value), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 677: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_type, uri_rdf_type), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 678: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_subject, uri_rdf_subject), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 679: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_isDefinedBy, uri_rdfs_isDefinedBy), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 680: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_domain, uri_rdfs_domain), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 681: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_range, uri_rdfs_range), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 682: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_seeAlso, uri_rdfs_seeAlso), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 683: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_subClassOf, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 684: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 685: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_Alt, uri_rdf_Alt), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 686: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_subPropertyOf, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 687: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_Alt, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 688: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_Bag, uri_rdf_Bag), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 689: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_range, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 690: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_seeAlso, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 691: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_subClassOf, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 692: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_label, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 693: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_Datatype, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 694: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_Container, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 695: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_Class, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 696: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 697: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_Alt, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 698: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_List, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 699: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_XMLLiteral, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 700: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_predicate, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 701: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_Bag, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 702: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_owl_Restriction, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 703: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 704: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_owl_Class, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 705: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_owl_ObjectProperty, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 706: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_comment, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 707: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_Literal, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 708: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_Seq, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 709: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_Statement, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 710: ifeq(iext(uri_rdfs_member, X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdfs_member, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 711: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_Resource, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 712: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_Statement, uri_rdfs_Statement), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 713: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_Statement, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 714: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_owl_Restriction, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 715: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_owl_Class, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 716: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_List, uri_rdf_List), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 717: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_List, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 718: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_owl_ObjectProperty, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 719: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_owl_ObjectProperty, uri_owl_ObjectProperty), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 720: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_owl_Restriction, uri_owl_Restriction), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 721: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_member, uri_rdfs_member), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 722: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 723: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 724: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subClassOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_owl_Class, uri_owl_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 725: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_member, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 726: ifeq(iext(uri_rdf_predicate, X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdf_predicate, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 727: ifeq(iext(uri_rdfs_label, X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdfs_label, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 728: ifeq(iext(uri_rdfs_comment, X, Y), ip(uri_owl_someValuesFrom), iext(uri_rdfs_comment, X, Y), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 729: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdf_type, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_Resource, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 730: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_label, uri_rdfs_label), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 731: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdfs_comment, uri_rdfs_comment), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 732: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf, X), ip(uri_owl_someValuesFrom), iext(X, uri_rdf_predicate, uri_rdf_predicate), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 734: ifeq(iext(uri_rdfs_subPropertyOf, X, Y), ip(uri_owl_someValuesFrom), ifeq(iext(uri_rdfs_subPropertyOf, Z, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subPropertyOf, Z, Y), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 735: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_isDefinedBy), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subPropertyOf, X, uri_rdfs_seeAlso), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 736: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_seeAlso, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subPropertyOf, uri_rdfs_isDefinedBy, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 737: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf__2), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subPropertyOf, X, uri_rdfs_member), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 738: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_member, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subPropertyOf, uri_rdf__1, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 739: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf__3), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subPropertyOf, X, uri_rdfs_member), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 740: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf__1), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subPropertyOf, X, uri_rdfs_member), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 741: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_member, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subPropertyOf, uri_rdf__3, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 742: ifeq(iext(uri_rdfs_subPropertyOf, uri_rdfs_member, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subPropertyOf, uri_rdf__2, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 744: ifeq(iext(uri_rdfs_subClassOf, X, Y), ip(uri_owl_someValuesFrom), ifeq(iext(uri_rdfs_subClassOf, Z, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, Z, Y), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 745: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_Alt), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdfs_Container), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 746: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_Bag), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdfs_Container), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 747: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_XMLLiteral), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdfs_Literal), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 748: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_ContainerMembershipProperty), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdf_Property), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 749: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Datatype), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 750: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Seq), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdfs_Container), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 751: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Container, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, uri_rdf_Alt, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 752: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Container, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, uri_rdf_Bag, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 753: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Literal, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 754: ifeq(iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 755: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 756: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Container, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, uri_rdfs_Seq, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 757: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, uri_rdfs_ContainerMembershipProperty, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 758: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, uri_rdfs_Class, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 759: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, uri_rdfs_Literal, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 760: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, uri_rdfs_Datatype, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 761: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, uri_rdfs_Seq, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 762: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, uri_rdfs_Container, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 763: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, uri_rdf_Property, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 764: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, uri_rdf_XMLLiteral, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 765: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Seq), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 766: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, uri_rdf_Alt, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 767: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, uri_rdf_Bag, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 768: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Datatype), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 769: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Literal), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 770: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_ContainerMembershipProperty), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 771: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 772: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Container), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 773: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_Alt), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 774: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_Bag), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 775: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 776: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_XMLLiteral), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 777: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdf_List), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 778: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 779: ifeq(iext(uri_rdfs_subClassOf, X, uri_rdfs_Statement), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 780: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, uri_owl_Class, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 781: ifeq(iext(uri_rdfs_subClassOf, X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 782: ifeq(iext(uri_rdfs_subClassOf, X, uri_owl_Class), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 783: ifeq(iext(uri_rdfs_subClassOf, X, uri_owl_ObjectProperty), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 784: ifeq(iext(uri_rdfs_subClassOf, X, uri_owl_Restriction), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 785: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, uri_rdf_List, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 786: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, uri_rdfs_Statement, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 787: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, uri_owl_ObjectProperty, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 788: ifeq(iext(uri_rdfs_subClassOf, uri_rdfs_Resource, X), ip(uri_owl_someValuesFrom), iext(uri_rdfs_subClassOf, uri_owl_Restriction, X), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 789: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, Z), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 790: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, Z), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 791: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_isDefinedBy, uri_rdfs_seeAlso), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 792: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ifeq(iext(X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, uri_ex_c), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 793: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_owl_onProperty), ip(uri_owl_someValuesFrom), ifeq(iext(X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, uri_ex_p), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 794: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_ex_c, uri_owl_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 795: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, uri_owl_Restriction), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 796: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_ex_s, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 797: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_ex_p, uri_owl_ObjectProperty), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 798: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__1, uri_rdfs_ContainerMembershipProperty), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 799: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__1, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 800: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_XMLLiteral, uri_rdfs_Datatype), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 801: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__2, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 802: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_Property, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 803: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__3, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 804: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__2, uri_rdfs_ContainerMembershipProperty), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 805: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__3, uri_rdfs_ContainerMembershipProperty), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 806: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_object, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 807: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_first, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 808: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_nil, uri_rdf_List), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 809: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_subject, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 810: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_rest, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 811: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_type, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 812: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_value, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 813: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__2, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 814: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__3, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 815: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__1, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 816: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_object, uri_rdfs_Statement), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 817: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_first, uri_rdf_List), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 818: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_predicate, uri_rdfs_Statement), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 819: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_type, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 820: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_subject, uri_rdfs_Statement), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 821: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_rest, uri_rdf_List), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 822: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_value, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 823: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_domain, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 824: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_comment, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 825: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_isDefinedBy, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 826: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_seeAlso, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 827: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_member, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 828: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_range, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 829: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_label, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 830: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_subClassOf, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 831: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__1, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 832: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_domain), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_subPropertyOf, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 833: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__2, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 834: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_predicate, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 835: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_first, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 836: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__3, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 837: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_rest, uri_rdf_List), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 838: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_type, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 839: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_subject, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 840: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_value, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 841: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_range, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 842: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_member, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 843: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_label, uri_rdfs_Literal), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 844: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_domain, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 845: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_isDefinedBy, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 846: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_comment, uri_rdfs_Literal), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 847: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_seeAlso, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 848: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_subPropertyOf, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 849: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_range), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_subClassOf, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 850: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_Bag, uri_rdfs_Container), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 851: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_Alt, uri_rdfs_Container), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 852: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_XMLLiteral, uri_rdfs_Literal), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 853: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Datatype, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 854: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 855: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Seq, uri_rdfs_Container), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 856: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 857: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Datatype), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_XMLLiteral, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 858: ifeq(iext(uri_rdfs_range, X, uri_rdfs_ContainerMembershipProperty), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdf__3), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 859: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_ContainerMembershipProperty), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__1, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 860: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_ContainerMembershipProperty), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__2, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 861: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_ContainerMembershipProperty), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__3, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 862: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdf_rest), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 863: ifeq(iext(uri_rdfs_domain, X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_ex_s, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 864: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Datatype), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdf_XMLLiteral), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 865: ifeq(iext(uri_rdfs_range, X, uri_rdfs_ContainerMembershipProperty), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdf__1), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 866: ifeq(iext(uri_rdfs_range, X, uri_rdfs_ContainerMembershipProperty), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdf__2), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 867: ifeq(iext(uri_rdfs_domain, X, uri_owl_Restriction), ip(uri_owl_someValuesFrom), ifeq(iext(X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 868: ifeq(iext(uri_rdfs_domain, X, uri_owl_ObjectProperty), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_ex_p, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 869: ifeq(iext(uri_rdfs_domain, X, uri_owl_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_ex_c, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 870: ifeq(iext(uri_rdfs_domain, X, uri_rdf_List), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_nil, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 871: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__1, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 872: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdf_value), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 873: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdf_type), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 874: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdf_subject), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 875: ifeq(iext(uri_rdfs_range, X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_ex_s), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 876: ifeq(iext(uri_rdfs_range, X, uri_owl_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_ex_c), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 877: ifeq(iext(uri_rdfs_range, X, uri_owl_Restriction), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 878: ifeq(iext(uri_rdfs_range, X, uri_owl_ObjectProperty), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_ex_p), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 879: ifeq(iext(uri_rdfs_range, X, uri_rdf_List), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdf_nil), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 880: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdf__1), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 881: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdf__2), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 882: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdf_first), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 883: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdf__3), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 884: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdf_object), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 885: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_rest, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 886: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__3, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 887: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_object, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 888: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_first, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 889: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__2, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 890: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_subject, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 891: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_value, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 892: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_type, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 893: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_owl_someValuesFrom, uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 894: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_owl_someValuesFrom, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 895: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 896: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Statement, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 897: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdfs_Container), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 898: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdfs_Statement), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 899: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdf_List), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 900: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_owl_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 901: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 902: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdfs_label), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 903: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_label, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 904: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 905: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_Alt, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 906: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_owl_Restriction, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 907: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_owl_Class, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 908: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_owl_ObjectProperty, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 909: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_Bag, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 910: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_Property, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 911: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_List, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 912: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_XMLLiteral, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 913: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_ContainerMembershipProperty, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 914: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Class, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 915: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Container, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 916: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Datatype, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 917: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Seq, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 918: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Literal, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 919: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_comment, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 920: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdfs_comment), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 921: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_predicate, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 922: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdf_predicate), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 923: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdfs_Literal), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 924: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdfs_Datatype), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 925: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_owl_ObjectProperty), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 926: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_owl_Restriction), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 927: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdf_Alt), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 928: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdf_Bag), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 929: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdf_XMLLiteral), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 930: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 931: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 932: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_owl_someValuesFrom, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 933: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdfs_Seq), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 934: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdfs_ContainerMembershipProperty), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 935: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_domain, uri_rdfs_domain), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 936: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_isDefinedBy, uri_rdfs_isDefinedBy), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 937: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Seq, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 938: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdfs_ContainerMembershipProperty), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 939: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Seq, uri_rdfs_Seq), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 940: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_owl_onProperty, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 941: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_owl_onProperty, uri_owl_onProperty), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 942: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_domain, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 943: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_isDefinedBy, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 944: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_range, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 945: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_range, uri_rdfs_range), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 946: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_seeAlso, uri_rdfs_seeAlso), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 947: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Literal, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 948: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_subClassOf, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 949: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_subPropertyOf, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 950: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__1, uri_rdfs_member), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 951: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__1, uri_rdf__1), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 952: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__2, uri_rdf__2), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 953: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__3, uri_rdf__3), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 954: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__2, uri_rdfs_member), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 955: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf__3, uri_rdfs_member), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 956: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_rest, uri_rdf_rest), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 957: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_first, uri_rdf_first), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 958: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_object, uri_rdf_object), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 959: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_type, uri_rdf_type), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 960: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_subject, uri_rdf_subject), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 961: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_value, uri_rdf_value), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 962: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_Property, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 963: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_Property, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 964: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_XMLLiteral, uri_rdf_XMLLiteral), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 965: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_Alt, uri_rdf_Alt), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 966: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Container, uri_rdfs_Container), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 967: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Container, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 968: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 969: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Datatype, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 970: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Datatype, uri_rdfs_Datatype), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 971: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Literal, uri_rdfs_Literal), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 972: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Class, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 973: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_XMLLiteral, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 974: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Class, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 975: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_Bag, uri_rdf_Bag), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 976: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_Alt, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 977: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_Bag, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 978: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_subClassOf, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 979: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_subPropertyOf, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 980: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_seeAlso, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 981: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdfs_isDefinedBy), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 982: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_owl_onProperty, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 983: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdfs_range), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 984: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdfs_seeAlso), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 985: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_owl_onProperty), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 986: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_domain, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 987: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdfs_domain), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 988: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_range, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 989: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_seeAlso, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 990: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 991: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 992: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_isDefinedBy, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 993: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_subClassOf, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 994: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_subPropertyOf, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 995: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_owl_Class, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 996: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_owl_ObjectProperty, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 997: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_comment, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 998: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Statement, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 999: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_owl_Restriction, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1000: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_ContainerMembershipProperty, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1001: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Container, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1002: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Class, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1003: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Datatype, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1004: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Seq, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1005: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Literal, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1006: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_Alt, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1007: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_predicate, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1008: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1009: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_label, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1010: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_List, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1011: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_XMLLiteral, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1012: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_Bag, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1013: ifeq(iext(uri_rdfs_range, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1014: ifeq(iext(uri_rdfs_domain, X, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Resource, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1015: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_List, uri_rdf_List), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1016: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Statement, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1017: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Statement, uri_rdfs_Statement), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1018: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_List, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1019: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_member, uri_rdf_Property), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1020: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_owl_Class, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1021: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_owl_Class, uri_owl_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1022: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1023: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_owl_ObjectProperty, uri_owl_ObjectProperty), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1024: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_owl_Restriction, uri_owl_Restriction), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1025: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_owl_ObjectProperty, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1026: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_owl_Restriction, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1027: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Resource, uri_rdfs_Resource), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1028: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_member, uri_rdfs_member), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1029: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subClassOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z, sK1_testcase_premise_fullish_009_Existential_Restriction_Entailments_BNODE_z), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1030: ifeq(iext(uri_rdfs_domain, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_member, Y), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1031: ifeq(iext(uri_rdfs_range, X, uri_rdf_Property), ip(uri_owl_someValuesFrom), ifeq(iext(X, Y, uri_rdfs_member), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1032: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdf_predicate, uri_rdf_predicate), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1033: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdf_type), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_Resource, uri_rdfs_Class), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1034: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_comment, uri_rdfs_comment), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 1035: ifeq(iext(uri_rdfs_subPropertyOf, X, uri_rdfs_subPropertyOf), ip(uri_owl_someValuesFrom), ifeq(iext(X, uri_rdfs_label, uri_rdfs_label), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom), ip(uri_owl_someValuesFrom)), ip(uri_owl_someValuesFrom)) -> ip(uri_owl_someValuesFrom) % 17.09/16.79 %------------------------------------------------------------------------------