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