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