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