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