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