%------------------------------------------------------------------------------ % File : Metis---2.4 % Problem : SWB018-10 : TPTP v8.1.0. Released v7.5.0. % Transfm : none % Format : tptp:raw % Command : metis --show proof --show saturation %s % Computer : n019.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 : 600s % DateTime : Tue Jul 19 19:15:23 EDT 2022 % Result : Satisfiable 0.73s 1.59s % Output : Saturation 0.81s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----WARNING: Could not form TPTP format derivation %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.11/0.76 % Problem : SWB018-10 : TPTP v8.1.0. Released v7.5.0. % 0.11/0.77 % Command : metis --show proof --show saturation %s % 0.13/1.00 % Computer : n019.cluster.edu % 0.13/1.00 % Model : x86_64 x86_64 % 0.13/1.00 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/1.00 % Memory : 8042.1875MB % 0.13/1.00 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/1.00 % CPULimit : 300 % 0.13/1.00 % WCLimit : 600 % 0.13/1.00 % DateTime : Wed Jun 1 09:28:11 EDT 2022 % 0.13/1.00 % CPUTime : % 0.13/1.00 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 0.73/1.59 % SZS status Satisfiable for /export/starexec/sandbox/benchmark/theBenchmark.p % 0.73/1.59 % 0.73/1.59 SZS output start Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p % 0.73/1.59 |- ifeq $A $A $B $C = $B % 0.73/1.59 |- ifeq (iext $P $S $O) true (ip $P) true = true % 0.73/1.60 |- ir $X = true % 0.73/1.60 |- ifeq (lv $X) true true true = true % 0.73/1.60 |- iext uri_rdf_type uri_rdf_first uri_rdf_Property = true % 0.73/1.60 |- iext uri_rdf_type uri_rdf_nil uri_rdf_List = true % 0.73/1.60 |- iext uri_rdf_type uri_rdf_rest uri_rdf_Property = true % 0.73/1.60 |- iext uri_rdf_type uri_rdf__1 uri_rdf_Property = true % 0.73/1.60 |- iext uri_rdf_type uri_rdf__2 uri_rdf_Property = true % 0.73/1.60 |- iext uri_rdf_type uri_rdf__3 uri_rdf_Property = true % 0.73/1.60 |- iext uri_rdf_type uri_rdf_object uri_rdf_Property = true % 0.73/1.60 |- iext uri_rdf_type uri_rdf_value uri_rdf_Property = true % 0.73/1.60 |- iext uri_rdf_type uri_rdf_subject uri_rdf_Property = true % 0.73/1.60 |- ifeq (ip $P) true (iext uri_rdf_type $P uri_rdf_Property) true = true % 0.73/1.60 |- ifeq (iext uri_rdf_type $P uri_rdf_Property) true (ip $P) true = true % 0.73/1.60 |- iext uri_rdf_type uri_rdf_type uri_rdf_Property = true % 0.73/1.60 |- iext uri_rdfs_domain uri_rdfs_comment uri_rdfs_Resource = true % 0.73/1.60 |- iext uri_rdfs_range uri_rdfs_comment uri_rdfs_Literal = true % 0.73/1.60 |- iext uri_rdfs_domain uri_rdfs_isDefinedBy uri_rdfs_Resource = true % 0.73/1.60 |- iext uri_rdfs_range uri_rdfs_isDefinedBy uri_rdfs_Resource = true % 0.73/1.60 |- iext uri_rdfs_subPropertyOf uri_rdfs_isDefinedBy uri_rdfs_seeAlso = true % 0.73/1.60 |- iext uri_rdfs_domain uri_rdfs_label uri_rdfs_Resource = true % 0.73/1.60 |- iext uri_rdfs_range uri_rdfs_label uri_rdfs_Literal = true % 0.73/1.60 |- iext uri_rdfs_domain uri_rdfs_seeAlso uri_rdfs_Resource = true % 0.73/1.60 |- iext uri_rdfs_range uri_rdfs_seeAlso uri_rdfs_Resource = true % 0.73/1.60 |- ifeq (icext $C $X) true (iext uri_rdf_type $X $C) true = true % 0.73/1.60 |- ifeq (iext uri_rdf_type $X $C) true (icext $C $X) true = true % 0.73/1.60 |- ifeq (ic $C) true (iext uri_rdfs_subClassOf $C uri_rdfs_Resource) true = % 0.73/1.60 true % 0.73/1.60 |- iext uri_rdfs_domain uri_rdf_first uri_rdf_List = true % 0.73/1.60 |- iext uri_rdfs_range uri_rdf_first uri_rdfs_Resource = true % 0.73/1.60 |- iext uri_rdfs_domain uri_rdf_rest uri_rdf_List = true % 0.73/1.60 |- iext uri_rdfs_range uri_rdf_rest uri_rdf_List = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdf_Alt uri_rdfs_Container = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdf_Bag uri_rdfs_Container = true % 0.73/1.60 |- ifeq (icext uri_rdfs_ContainerMembershipProperty $P) true % 0.73/1.60 (iext uri_rdfs_subPropertyOf $P uri_rdfs_member) true = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdfs_ContainerMembershipProperty % 0.73/1.60 uri_rdf_Property = true % 0.73/1.60 |- iext uri_rdfs_domain uri_rdfs_member uri_rdfs_Resource = true % 0.73/1.60 |- iext uri_rdfs_range uri_rdfs_member uri_rdfs_Resource = true % 0.73/1.60 |- iext uri_rdfs_domain uri_rdf__1 uri_rdfs_Resource = true % 0.73/1.60 |- iext uri_rdfs_domain uri_rdf__2 uri_rdfs_Resource = true % 0.73/1.60 |- iext uri_rdfs_domain uri_rdf__3 uri_rdfs_Resource = true % 0.73/1.60 |- iext uri_rdfs_range uri_rdf__1 uri_rdfs_Resource = true % 0.73/1.60 |- iext uri_rdfs_range uri_rdf__2 uri_rdfs_Resource = true % 0.73/1.60 |- iext uri_rdfs_range uri_rdf__3 uri_rdfs_Resource = true % 0.73/1.60 |- iext uri_rdf_type uri_rdf__1 uri_rdfs_ContainerMembershipProperty = true % 0.73/1.60 |- iext uri_rdf_type uri_rdf__2 uri_rdfs_ContainerMembershipProperty = true % 0.73/1.60 |- iext uri_rdf_type uri_rdf__3 uri_rdfs_ContainerMembershipProperty = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdfs_Seq uri_rdfs_Container = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdf_XMLLiteral uri_rdfs_Literal = true % 0.73/1.60 |- iext uri_rdf_type uri_rdf_XMLLiteral uri_rdfs_Datatype = true % 0.73/1.60 |- ifeq (icext uri_rdfs_Datatype $D) true % 0.73/1.60 (iext uri_rdfs_subClassOf $D uri_rdfs_Literal) true = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdfs_Datatype uri_rdfs_Class = true % 0.73/1.60 |- iext uri_rdfs_domain uri_rdfs_domain uri_rdf_Property = true % 0.73/1.60 |- ifeq (iext uri_rdfs_domain $P $C) true % 0.73/1.60 (ifeq (iext $P $X $Y) true (icext $C $X) true) true = true % 0.73/1.60 |- iext uri_rdfs_range uri_rdfs_domain uri_rdfs_Class = true % 0.73/1.60 |- ifeq (ic $X) true (icext uri_rdfs_Class $X) true = true % 0.73/1.60 |- ifeq (icext uri_rdfs_Class $X) true (ic $X) true = true % 0.73/1.60 |- icext uri_rdfs_Resource $X = true % 0.73/1.60 |- ifeq (icext uri_rdfs_Literal $X) true (lv $X) true = true % 0.73/1.60 |- ifeq (lv $X) true (icext uri_rdfs_Literal $X) true = true % 0.73/1.60 |- iext uri_rdf_type uri_rdf_Property uri_rdfs_Class = true % 0.73/1.60 |- iext uri_rdfs_domain uri_rdfs_range uri_rdf_Property = true % 0.73/1.60 |- ifeq (iext uri_rdfs_range $P $C) true % 0.73/1.60 (ifeq (iext $P $X $Y) true (icext $C $Y) true) true = true % 0.73/1.60 |- iext uri_rdfs_range uri_rdfs_range uri_rdfs_Class = true % 0.73/1.60 |- iext uri_rdfs_domain uri_rdf_object uri_rdfs_Statement = true % 0.73/1.60 |- iext uri_rdfs_range uri_rdf_predicate uri_rdfs_Resource = true % 0.73/1.60 |- iext uri_rdfs_domain uri_rdf_predicate uri_rdfs_Statement = true % 0.73/1.60 |- iext uri_rdfs_domain uri_rdf_subject uri_rdfs_Statement = true % 0.73/1.60 |- iext uri_rdfs_range uri_rdf_subject uri_rdfs_Resource = true % 0.73/1.60 |- iext uri_rdfs_domain uri_rdfs_subClassOf uri_rdfs_Class = true % 0.73/1.60 |- ifeq (icext $C $X) true % 0.73/1.60 (ifeq (iext uri_rdfs_subClassOf $C $D) true (icext $D $X) true) true = % 0.73/1.60 true % 0.73/1.60 |- ifeq (iext uri_rdfs_subClassOf $C $D) true (ic $D) true = true % 0.73/1.60 |- ifeq (iext uri_rdfs_subClassOf $C $D) true (ic $C) true = true % 0.73/1.60 |- iext uri_rdfs_range uri_rdfs_subClassOf uri_rdfs_Class = true % 0.73/1.60 |- ifeq (ic $C) true (iext uri_rdfs_subClassOf $C $C) true = true % 0.73/1.60 |- ifeq (iext uri_rdfs_subClassOf $D $E) true % 0.73/1.60 (ifeq (iext uri_rdfs_subClassOf $C $D) true % 0.73/1.60 (iext uri_rdfs_subClassOf $C $E) true) true = true % 0.73/1.60 |- iext uri_rdfs_domain uri_rdfs_subPropertyOf uri_rdf_Property = true % 0.73/1.60 |- ifeq (iext uri_rdfs_subPropertyOf $P $Q) true (ip $Q) true = true % 0.73/1.60 |- ifeq (iext uri_rdfs_subPropertyOf $P $Q) true (ip $P) true = true % 0.73/1.60 |- ifeq (iext uri_rdfs_subPropertyOf $P $Q) true % 0.73/1.60 (ifeq (iext $P $X $Y) true (iext $Q $X $Y) true) true = true % 0.73/1.60 |- iext uri_rdfs_range uri_rdfs_subPropertyOf uri_rdf_Property = true % 0.73/1.60 |- ifeq (ip $P) true (iext uri_rdfs_subPropertyOf $P $P) true = true % 0.73/1.60 |- ifeq (iext uri_rdfs_subPropertyOf $Q $R) true % 0.73/1.60 (ifeq (iext uri_rdfs_subPropertyOf $P $Q) true % 0.73/1.60 (iext uri_rdfs_subPropertyOf $P $R) true) true = true % 0.73/1.60 |- iext uri_rdfs_domain uri_rdf_type uri_rdfs_Resource = true % 0.73/1.60 |- iext uri_rdfs_range uri_rdf_type uri_rdfs_Class = true % 0.73/1.60 |- iext uri_rdfs_domain uri_rdf_value uri_rdfs_Resource = true % 0.73/1.60 |- iext uri_rdfs_range uri_rdf_value uri_rdfs_Resource = true % 0.73/1.60 |- iext uri_rdfs_domain uri_owl_sameAs uri_ex_Person = true % 0.73/1.60 |- iext uri_owl_sameAs uri_ex_w uri_ex_u = true % 0.73/1.60 |- ~(iext uri_rdf_type uri_ex_u uri_ex_Person = true) % 0.73/1.60 |- ip uri_rdf__1 = true % 0.73/1.60 |- ip uri_rdf__2 = true % 0.73/1.60 |- ip uri_rdf__3 = true % 0.73/1.60 |- ip uri_rdf_first = true % 0.73/1.60 |- ip uri_rdf_object = true % 0.73/1.60 |- ip uri_rdf_rest = true % 0.73/1.60 |- ip uri_rdf_subject = true % 0.73/1.60 |- ip uri_rdf_type = true % 0.73/1.60 |- ip uri_rdf_value = true % 0.73/1.60 |- iext uri_rdfs_subPropertyOf uri_rdf__1 uri_rdf__1 = true % 0.73/1.60 |- iext uri_rdfs_subPropertyOf uri_rdf__2 uri_rdf__2 = true % 0.73/1.60 |- iext uri_rdfs_subPropertyOf uri_rdf__3 uri_rdf__3 = true % 0.73/1.60 |- iext uri_rdfs_subPropertyOf uri_rdf_first uri_rdf_first = true % 0.73/1.60 |- iext uri_rdfs_subPropertyOf uri_rdf_object uri_rdf_object = true % 0.73/1.60 |- iext uri_rdfs_subPropertyOf uri_rdf_rest uri_rdf_rest = true % 0.73/1.60 |- iext uri_rdfs_subPropertyOf uri_rdf_subject uri_rdf_subject = true % 0.73/1.60 |- iext uri_rdfs_subPropertyOf uri_rdf_type uri_rdf_type = true % 0.73/1.60 |- iext uri_rdfs_subPropertyOf uri_rdf_value uri_rdf_value = true % 0.73/1.60 |- ic uri_rdf_Alt = true % 0.73/1.60 |- ic uri_rdf_Bag = true % 0.73/1.60 |- ic uri_rdf_XMLLiteral = true % 0.73/1.60 |- ic uri_rdfs_ContainerMembershipProperty = true % 0.73/1.60 |- ic uri_rdfs_Datatype = true % 0.73/1.60 |- ic uri_rdfs_Seq = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdf_Alt uri_rdf_Alt = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdf_Alt uri_rdfs_Resource = true % 0.73/1.60 |- icext uri_rdfs_Class uri_rdf_Alt = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdf_Bag uri_rdf_Bag = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdf_Bag uri_rdfs_Resource = true % 0.73/1.60 |- icext uri_rdfs_Class uri_rdf_Bag = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdf_XMLLiteral uri_rdf_XMLLiteral = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdf_XMLLiteral uri_rdfs_Resource = true % 0.73/1.60 |- icext uri_rdfs_Class uri_rdf_XMLLiteral = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdfs_ContainerMembershipProperty % 0.73/1.60 uri_rdfs_ContainerMembershipProperty = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdfs_ContainerMembershipProperty % 0.73/1.60 uri_rdfs_Resource = true % 0.73/1.60 |- icext uri_rdfs_Class uri_rdfs_ContainerMembershipProperty = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdfs_Datatype uri_rdfs_Datatype = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdfs_Datatype uri_rdfs_Resource = true % 0.73/1.60 |- icext uri_rdfs_Class uri_rdfs_Datatype = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdfs_Seq uri_rdfs_Seq = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdfs_Seq uri_rdfs_Resource = true % 0.73/1.60 |- icext uri_rdfs_Class uri_rdfs_Seq = true % 0.73/1.60 |- ip uri_rdfs_seeAlso = true % 0.73/1.60 |- iext uri_rdfs_subPropertyOf uri_rdfs_seeAlso uri_rdfs_seeAlso = true % 0.73/1.60 |- iext uri_rdf_type uri_rdfs_seeAlso uri_rdf_Property = true % 0.73/1.60 |- ip uri_rdfs_isDefinedBy = true % 0.73/1.60 |- iext uri_rdfs_subPropertyOf uri_rdfs_isDefinedBy uri_rdfs_isDefinedBy = % 0.73/1.60 true % 0.73/1.60 |- iext uri_rdf_type uri_rdfs_isDefinedBy uri_rdf_Property = true % 0.73/1.60 |- ic uri_rdfs_Container = true % 0.73/1.60 |- ic uri_rdfs_Resource = true % 0.73/1.60 |- ic uri_rdfs_Literal = true % 0.73/1.60 |- ic uri_rdf_Property = true % 0.73/1.60 |- ic uri_rdfs_Class = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdfs_Resource uri_rdfs_Resource = true % 0.73/1.60 |- icext uri_rdfs_Class uri_rdfs_Resource = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdfs_Literal uri_rdfs_Literal = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdfs_Literal uri_rdfs_Resource = true % 0.73/1.60 |- icext uri_rdfs_Class uri_rdfs_Literal = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdf_Property uri_rdf_Property = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdf_Property uri_rdfs_Resource = true % 0.73/1.60 |- icext uri_rdfs_Class uri_rdf_Property = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdfs_Class uri_rdfs_Class = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdfs_Class uri_rdfs_Resource = true % 0.73/1.60 |- icext uri_rdfs_Class uri_rdfs_Class = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdfs_Container uri_rdfs_Container = true % 0.73/1.60 |- iext uri_rdfs_subClassOf uri_rdfs_Container uri_rdfs_Resource = true % 0.73/1.60 |- icext uri_rdfs_Class uri_rdfs_Container = true % 0.73/1.60 |- iext uri_rdf_type uri_rdf_Alt uri_rdfs_Class = true % 0.73/1.60 |- iext uri_rdf_type uri_rdf_Bag uri_rdfs_Class = true % 0.73/1.60 |- iext uri_rdf_type uri_rdf_XMLLiteral uri_rdfs_Class = true % 0.73/1.60 |- iext uri_rdf_type uri_rdfs_Class uri_rdfs_Class = true % 0.73/1.60 |- iext uri_rdf_type uri_rdfs_Container uri_rdfs_Class = true % 0.73/1.60 |- iext uri_rdf_type uri_rdfs_ContainerMembershipProperty uri_rdfs_Class = % 0.73/1.60 true % 0.73/1.60 |- iext uri_rdf_type uri_rdfs_Datatype uri_rdfs_Class = true % 0.73/1.60 |- iext uri_rdf_type uri_rdfs_Literal uri_rdfs_Class = true % 0.73/1.60 |- iext uri_rdf_type uri_rdfs_Resource uri_rdfs_Class = true % 0.73/1.60 |- iext uri_rdf_type uri_rdfs_Seq uri_rdfs_Class = true % 0.73/1.60 |- iext uri_rdf_type $_57 uri_rdfs_Resource = true % 0.73/1.60 |- icext uri_rdfs_Datatype uri_rdf_XMLLiteral = true % 0.73/1.60 |- icext uri_rdf_Property uri_rdf__1 = true % 0.73/1.60 |- icext uri_rdfs_ContainerMembershipProperty uri_rdf__1 = true % 0.73/1.60 |- icext uri_rdf_Property uri_rdf__2 = true % 0.73/1.60 |- icext uri_rdfs_ContainerMembershipProperty uri_rdf__2 = true % 0.73/1.60 |- icext uri_rdf_Property uri_rdf__3 = true % 0.73/1.60 |- icext uri_rdfs_ContainerMembershipProperty uri_rdf__3 = true % 0.73/1.60 |- icext uri_rdf_Property uri_rdf_first = true % 0.73/1.60 |- icext uri_rdf_List uri_rdf_nil = true % 0.73/1.60 |- icext uri_rdf_Property uri_rdf_object = true % 0.73/1.60 |- icext uri_rdf_Property uri_rdf_rest = true % 0.73/1.60 |- icext uri_rdf_Property uri_rdf_subject = true % 0.73/1.60 |- icext uri_rdf_Property uri_rdf_type = true % 0.73/1.60 |- icext uri_rdf_Property uri_rdf_value = true % 0.73/1.60 |- icext uri_rdf_Property uri_rdfs_isDefinedBy = true % 0.73/1.60 |- icext uri_rdf_Property uri_rdfs_seeAlso = true % 0.73/1.60 |- iext uri_rdfs_subPropertyOf uri_rdf__1 uri_rdfs_member = true % 0.73/1.60 |- iext uri_rdfs_subPropertyOf uri_rdf__2 uri_rdfs_member = true % 0.73/1.60 |- iext uri_rdfs_subPropertyOf uri_rdf__3 uri_rdfs_member = true % 0.73/1.60 |- ip uri_rdfs_member = true % 0.73/1.60 |- iext uri_rdfs_subPropertyOf uri_rdfs_member uri_rdfs_member = true % 0.73/1.60 |- iext uri_rdf_type uri_rdfs_member uri_rdf_Property = true % 0.73/1.60 |- icext uri_rdf_Property uri_rdfs_member = true % 0.73/1.60 |- ifeq (iext uri_rdf__1 $_78 $_76) true true true = true % 0.73/1.60 |- ifeq (iext uri_rdf__2 $_78 $_76) true true true = true % 0.73/1.60 |- ifeq (iext uri_rdf__3 $_78 $_76) true true true = true % 0.73/1.60 |- ifeq (iext uri_rdf_first $_78 $_76) true true true = true % 0.73/1.60 |- ifeq (iext uri_rdf_object $_78 $_76) true true true = true % 0.73/1.60 |- ifeq (iext uri_rdf_rest $_78 $_76) true true true = true % 0.73/1.60 |- ifeq (iext uri_rdf_subject $_78 $_76) true true true = true % 0.73/1.60 |- ifeq (iext uri_rdf_type $_78 $_76) true true true = true % 0.73/1.60 |- ifeq (iext uri_rdf_value $_78 $_76) true true true = true % 0.73/1.60 |- ifeq (iext uri_rdfs_isDefinedBy $_78 $_76) true true true = true % 0.73/1.60 |- ifeq (iext uri_rdfs_member $_78 $_76) true true true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_seeAlso $_78 $_76) true true true = true % 0.73/1.61 |- ip uri_owl_sameAs = true % 0.73/1.61 |- ip uri_rdfs_domain = true % 0.73/1.61 |- ip uri_rdfs_range = true % 0.73/1.61 |- ip uri_rdfs_subClassOf = true % 0.73/1.61 |- ip uri_rdfs_subPropertyOf = true % 0.73/1.61 |- ifeq (iext uri_owl_sameAs $S $O) true true true = true % 0.73/1.61 |- iext uri_rdfs_subPropertyOf uri_owl_sameAs uri_owl_sameAs = true % 0.73/1.61 |- iext uri_rdf_type uri_owl_sameAs uri_rdf_Property = true % 0.73/1.61 |- ifeq (iext uri_rdfs_domain $S $O) true true true = true % 0.73/1.61 |- iext uri_rdfs_subPropertyOf uri_rdfs_domain uri_rdfs_domain = true % 0.73/1.61 |- iext uri_rdf_type uri_rdfs_domain uri_rdf_Property = true % 0.73/1.61 |- ifeq (iext uri_rdfs_range $S $O) true true true = true % 0.73/1.61 |- iext uri_rdfs_subPropertyOf uri_rdfs_range uri_rdfs_range = true % 0.73/1.61 |- iext uri_rdf_type uri_rdfs_range uri_rdf_Property = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf $S $O) true true true = true % 0.73/1.61 |- iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf uri_rdfs_subClassOf = % 0.73/1.61 true % 0.73/1.61 |- iext uri_rdf_type uri_rdfs_subClassOf uri_rdf_Property = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subPropertyOf $S $O) true true true = true % 0.73/1.61 |- iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf % 0.73/1.61 uri_rdfs_subPropertyOf = true % 0.73/1.61 |- iext uri_rdf_type uri_rdfs_subPropertyOf uri_rdf_Property = true % 0.73/1.61 |- icext uri_rdf_Property uri_rdfs_subPropertyOf = true % 0.73/1.61 |- icext uri_rdf_Property uri_owl_sameAs = true % 0.73/1.61 |- icext uri_rdf_Property uri_rdfs_range = true % 0.73/1.61 |- icext uri_rdf_Property uri_rdfs_subClassOf = true % 0.73/1.61 |- icext uri_rdf_Property uri_rdfs_domain = true % 0.73/1.61 |- ifeq (icext $_113 $_115) true true true = true % 0.73/1.61 |- ifeq (icext uri_rdf_Alt $_115) true (icext uri_rdf_Alt $_115) true = % 0.73/1.61 true % 0.73/1.61 |- ifeq (icext uri_rdf_Alt $_115) true (icext uri_rdfs_Container $_115) % 0.73/1.61 true = true % 0.73/1.61 |- ifeq (icext uri_rdf_Bag $_115) true (icext uri_rdf_Bag $_115) true = % 0.73/1.61 true % 0.73/1.61 |- ifeq (icext uri_rdf_Bag $_115) true (icext uri_rdfs_Container $_115) % 0.73/1.61 true = true % 0.73/1.61 |- ifeq (icext uri_rdf_Property $_115) true (icext uri_rdf_Property $_115) % 0.73/1.61 true = true % 0.73/1.61 |- ifeq (icext uri_rdf_XMLLiteral $_115) true % 0.73/1.61 (icext uri_rdf_XMLLiteral $_115) true = true % 0.73/1.61 |- ifeq (icext uri_rdf_XMLLiteral $_115) true % 0.73/1.61 (icext uri_rdfs_Literal $_115) true = true % 0.73/1.61 |- ifeq (icext uri_rdfs_Class $_115) true (icext uri_rdfs_Class $_115) % 0.73/1.61 true = true % 0.73/1.61 |- ifeq (icext uri_rdfs_Container $_115) true % 0.73/1.61 (icext uri_rdfs_Container $_115) true = true % 0.73/1.61 |- ifeq (icext uri_rdfs_ContainerMembershipProperty $_115) true % 0.73/1.61 (icext uri_rdf_Property $_115) true = true % 0.73/1.61 |- ifeq (icext uri_rdfs_ContainerMembershipProperty $_115) true % 0.73/1.61 (icext uri_rdfs_ContainerMembershipProperty $_115) true = true % 0.73/1.61 |- ifeq (icext uri_rdfs_Datatype $_115) true (icext uri_rdfs_Class $_115) % 0.73/1.61 true = true % 0.73/1.61 |- ifeq (icext uri_rdfs_Datatype $_115) true % 0.73/1.61 (icext uri_rdfs_Datatype $_115) true = true % 0.73/1.61 |- ifeq (icext uri_rdfs_Literal $_115) true (icext uri_rdfs_Literal $_115) % 0.73/1.61 true = true % 0.73/1.61 |- ifeq (icext uri_rdfs_Seq $_115) true (icext uri_rdfs_Container $_115) % 0.73/1.61 true = true % 0.73/1.61 |- ifeq (icext uri_rdfs_Seq $_115) true (icext uri_rdfs_Seq $_115) true = % 0.73/1.61 true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdf_List $_114) true % 0.73/1.61 (icext $_114 uri_rdf_nil) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdf_Property $_114) true % 0.73/1.61 (icext $_114 uri_owl_sameAs) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdf_Property $_114) true % 0.73/1.61 (icext $_114 uri_rdf__1) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdf_Property $_114) true % 0.73/1.61 (icext $_114 uri_rdf__2) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdf_Property $_114) true % 0.73/1.61 (icext $_114 uri_rdf__3) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdf_Property $_114) true % 0.73/1.61 (icext $_114 uri_rdf_first) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdf_Property $_114) true % 0.73/1.61 (icext $_114 uri_rdf_object) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdf_Property $_114) true % 0.73/1.61 (icext $_114 uri_rdf_rest) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdf_Property $_114) true % 0.73/1.61 (icext $_114 uri_rdf_subject) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdf_Property $_114) true % 0.73/1.61 (icext $_114 uri_rdf_type) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdf_Property $_114) true % 0.73/1.61 (icext $_114 uri_rdf_value) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdf_Property $_114) true % 0.73/1.61 (icext $_114 uri_rdfs_domain) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdf_Property $_114) true % 0.73/1.61 (icext $_114 uri_rdfs_isDefinedBy) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdf_Property $_114) true % 0.73/1.61 (icext $_114 uri_rdfs_member) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdf_Property $_114) true % 0.73/1.61 (icext $_114 uri_rdfs_range) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdf_Property $_114) true % 0.73/1.61 (icext $_114 uri_rdfs_seeAlso) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdf_Property $_114) true % 0.73/1.61 (icext $_114 uri_rdfs_subClassOf) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdf_Property $_114) true % 0.73/1.61 (icext $_114 uri_rdfs_subPropertyOf) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Class $_114) true % 0.73/1.61 (icext $_114 uri_rdf_Alt) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Class $_114) true % 0.73/1.61 (icext $_114 uri_rdf_Bag) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Class $_114) true % 0.73/1.61 (icext $_114 uri_rdf_Property) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Class $_114) true % 0.73/1.61 (icext $_114 uri_rdf_XMLLiteral) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Class $_114) true % 0.73/1.61 (icext $_114 uri_rdfs_Class) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Class $_114) true % 0.73/1.61 (icext $_114 uri_rdfs_Container) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Class $_114) true % 0.73/1.61 (icext $_114 uri_rdfs_ContainerMembershipProperty) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Class $_114) true % 0.73/1.61 (icext $_114 uri_rdfs_Datatype) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Class $_114) true % 0.73/1.61 (icext $_114 uri_rdfs_Literal) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Class $_114) true % 0.73/1.61 (icext $_114 uri_rdfs_Resource) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Class $_114) true % 0.73/1.61 (icext $_114 uri_rdfs_Seq) true = true % 0.73/1.61 |- ifeq % 0.73/1.61 (iext uri_rdfs_subClassOf uri_rdfs_ContainerMembershipProperty $_114) % 0.73/1.61 true (icext $_114 uri_rdf__1) true = true % 0.73/1.61 |- ifeq % 0.73/1.61 (iext uri_rdfs_subClassOf uri_rdfs_ContainerMembershipProperty $_114) % 0.73/1.61 true (icext $_114 uri_rdf__2) true = true % 0.73/1.61 |- ifeq % 0.73/1.61 (iext uri_rdfs_subClassOf uri_rdfs_ContainerMembershipProperty $_114) % 0.73/1.61 true (icext $_114 uri_rdf__3) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Datatype $_114) true % 0.73/1.61 (icext $_114 uri_rdf_XMLLiteral) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Resource $_114) true % 0.73/1.61 (icext $_114 $_115) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_member $_171) true % 0.73/1.61 (iext uri_rdfs_subPropertyOf uri_rdf__1 $_171) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_member $_171) true % 0.73/1.61 (iext uri_rdfs_subPropertyOf uri_rdf__2 $_171) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_member $_171) true % 0.73/1.61 (iext uri_rdfs_subPropertyOf uri_rdf__3 $_171) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_seeAlso $_171) true % 0.73/1.61 (iext uri_rdfs_subPropertyOf uri_rdfs_isDefinedBy $_171) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subPropertyOf $_169 uri_rdf__1) true % 0.73/1.61 (iext uri_rdfs_subPropertyOf $_169 uri_rdfs_member) true = true % 0.73/1.61 |- ifeq (iext uri_rdfs_subPropertyOf $_169 uri_rdf__2) true % 0.73/1.61 (iext uri_rdfs_subPropertyOf $_169 uri_rdfs_member) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_subPropertyOf $_169 uri_rdf__3) true % 0.81/1.61 (iext uri_rdfs_subPropertyOf $_169 uri_rdfs_member) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_subPropertyOf $_169 uri_rdfs_isDefinedBy) true % 0.81/1.61 (iext uri_rdfs_subPropertyOf $_169 uri_rdfs_seeAlso) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdf_List) true % 0.81/1.61 (ifeq (iext $_215 uri_rdf_nil $_217) true true true) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdf_Property) true % 0.81/1.61 (ifeq (iext $_215 uri_owl_sameAs $_217) true true true) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdf_Property) true % 0.81/1.61 (ifeq (iext $_215 uri_rdf__1 $_217) true true true) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdf_Property) true % 0.81/1.61 (ifeq (iext $_215 uri_rdf__2 $_217) true true true) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdf_Property) true % 0.81/1.61 (ifeq (iext $_215 uri_rdf__3 $_217) true true true) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdf_Property) true % 0.81/1.61 (ifeq (iext $_215 uri_rdf_first $_217) true true true) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdf_Property) true % 0.81/1.61 (ifeq (iext $_215 uri_rdf_object $_217) true true true) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdf_Property) true % 0.81/1.61 (ifeq (iext $_215 uri_rdf_rest $_217) true true true) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdf_Property) true % 0.81/1.61 (ifeq (iext $_215 uri_rdf_subject $_217) true true true) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdf_Property) true % 0.81/1.61 (ifeq (iext $_215 uri_rdf_type $_217) true true true) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdf_Property) true % 0.81/1.61 (ifeq (iext $_215 uri_rdf_value $_217) true true true) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdf_Property) true % 0.81/1.61 (ifeq (iext $_215 uri_rdfs_domain $_217) true true true) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdf_Property) true % 0.81/1.61 (ifeq (iext $_215 uri_rdfs_isDefinedBy $_217) true true true) true = % 0.81/1.61 true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdf_Property) true % 0.81/1.61 (ifeq (iext $_215 uri_rdfs_member $_217) true true true) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdf_Property) true % 0.81/1.61 (ifeq (iext $_215 uri_rdfs_range $_217) true true true) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdf_Property) true % 0.81/1.61 (ifeq (iext $_215 uri_rdfs_seeAlso $_217) true true true) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdf_Property) true % 0.81/1.61 (ifeq (iext $_215 uri_rdfs_subClassOf $_217) true true true) true = % 0.81/1.61 true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdf_Property) true % 0.81/1.61 (ifeq (iext $_215 uri_rdfs_subPropertyOf $_217) true true true) true = % 0.81/1.61 true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdfs_Class) true % 0.81/1.61 (ifeq (iext $_215 uri_rdf_Alt $_217) true true true) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdfs_Class) true % 0.81/1.61 (ifeq (iext $_215 uri_rdf_Bag $_217) true true true) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdfs_Class) true % 0.81/1.61 (ifeq (iext $_215 uri_rdf_Property $_217) true true true) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdfs_Class) true % 0.81/1.61 (ifeq (iext $_215 uri_rdf_XMLLiteral $_217) true true true) true = % 0.81/1.61 true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdfs_Class) true % 0.81/1.61 (ifeq (iext $_215 uri_rdfs_Class $_217) true true true) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdfs_Class) true % 0.81/1.61 (ifeq (iext $_215 uri_rdfs_Container $_217) true true true) true = % 0.81/1.61 true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdfs_Class) true % 0.81/1.61 (ifeq (iext $_215 uri_rdfs_ContainerMembershipProperty $_217) true % 0.81/1.61 true true) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdfs_Class) true % 0.81/1.61 (ifeq (iext $_215 uri_rdfs_Datatype $_217) true true true) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdfs_Class) true % 0.81/1.61 (ifeq (iext $_215 uri_rdfs_Literal $_217) true true true) true = true % 0.81/1.61 |- ifeq (iext uri_rdfs_domain $_215 uri_rdfs_Class) true % 0.81/1.61 (ifeq (iext $_215 uri_rdfs_Resource $_217) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain $_215 uri_rdfs_Class) true % 0.81/1.62 (ifeq (iext $_215 uri_rdfs_Seq $_217) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain $_215 uri_rdfs_ContainerMembershipProperty) % 0.81/1.62 true (ifeq (iext $_215 uri_rdf__1 $_217) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain $_215 uri_rdfs_ContainerMembershipProperty) % 0.81/1.62 true (ifeq (iext $_215 uri_rdf__2 $_217) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain $_215 uri_rdfs_ContainerMembershipProperty) % 0.81/1.62 true (ifeq (iext $_215 uri_rdf__3 $_217) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain $_215 uri_rdfs_Datatype) true % 0.81/1.62 (ifeq (iext $_215 uri_rdf_XMLLiteral $_217) true true true) true = % 0.81/1.62 true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain $_215 uri_rdfs_Resource) true % 0.81/1.62 (ifeq (iext $_215 $_216 $_217) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_owl_sameAs $_214) true % 0.81/1.62 (icext $_214 uri_ex_w) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdf_type $_214) true (icext $_214 $_216) % 0.81/1.62 true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_domain $_214) true % 0.81/1.62 (icext $_214 uri_owl_sameAs) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_domain $_214) true % 0.81/1.62 (icext $_214 uri_rdf__1) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_domain $_214) true % 0.81/1.62 (icext $_214 uri_rdf__2) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_domain $_214) true % 0.81/1.62 (icext $_214 uri_rdf__3) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_domain $_214) true % 0.81/1.62 (icext $_214 uri_rdf_first) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_domain $_214) true % 0.81/1.62 (icext $_214 uri_rdf_object) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_domain $_214) true % 0.81/1.62 (icext $_214 uri_rdf_predicate) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_domain $_214) true % 0.81/1.62 (icext $_214 uri_rdf_rest) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_domain $_214) true % 0.81/1.62 (icext $_214 uri_rdf_subject) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_domain $_214) true % 0.81/1.62 (icext $_214 uri_rdf_type) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_domain $_214) true % 0.81/1.62 (icext $_214 uri_rdf_value) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_domain $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_comment) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_domain $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_domain) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_domain $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_isDefinedBy) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_domain $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_label) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_domain $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_member) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_domain $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_range) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_domain $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_seeAlso) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_domain $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_subClassOf) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_domain $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_subPropertyOf) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_range $_214) true % 0.81/1.62 (icext $_214 uri_rdf__1) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_range $_214) true % 0.81/1.62 (icext $_214 uri_rdf__2) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_range $_214) true % 0.81/1.62 (icext $_214 uri_rdf__3) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_range $_214) true % 0.81/1.62 (icext $_214 uri_rdf_first) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_range $_214) true % 0.81/1.62 (icext $_214 uri_rdf_predicate) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_range $_214) true % 0.81/1.62 (icext $_214 uri_rdf_rest) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_range $_214) true % 0.81/1.62 (icext $_214 uri_rdf_subject) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_range $_214) true % 0.81/1.62 (icext $_214 uri_rdf_type) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_range $_214) true % 0.81/1.62 (icext $_214 uri_rdf_value) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_range $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_comment) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_range $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_domain) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_range $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_isDefinedBy) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_range $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_label) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_range $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_member) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_range $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_range) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_range $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_seeAlso) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_range $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_subClassOf) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_range $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_subPropertyOf) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subClassOf $_214) true % 0.81/1.62 (icext $_214 uri_rdf_Alt) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subClassOf $_214) true % 0.81/1.62 (icext $_214 uri_rdf_Bag) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subClassOf $_214) true % 0.81/1.62 (icext $_214 uri_rdf_Property) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subClassOf $_214) true % 0.81/1.62 (icext $_214 uri_rdf_XMLLiteral) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subClassOf $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_Class) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subClassOf $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_Container) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subClassOf $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_ContainerMembershipProperty) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subClassOf $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_Datatype) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subClassOf $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_Literal) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subClassOf $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_Resource) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subClassOf $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_Seq) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subPropertyOf $_214) true % 0.81/1.62 (icext $_214 uri_owl_sameAs) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subPropertyOf $_214) true % 0.81/1.62 (icext $_214 uri_rdf__1) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subPropertyOf $_214) true % 0.81/1.62 (icext $_214 uri_rdf__2) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subPropertyOf $_214) true % 0.81/1.62 (icext $_214 uri_rdf__3) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subPropertyOf $_214) true % 0.81/1.62 (icext $_214 uri_rdf_first) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subPropertyOf $_214) true % 0.81/1.62 (icext $_214 uri_rdf_object) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subPropertyOf $_214) true % 0.81/1.62 (icext $_214 uri_rdf_rest) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subPropertyOf $_214) true % 0.81/1.62 (icext $_214 uri_rdf_subject) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subPropertyOf $_214) true % 0.81/1.62 (icext $_214 uri_rdf_type) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subPropertyOf $_214) true % 0.81/1.62 (icext $_214 uri_rdf_value) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subPropertyOf $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_domain) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subPropertyOf $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_isDefinedBy) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subPropertyOf $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_member) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subPropertyOf $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_range) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subPropertyOf $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_seeAlso) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subPropertyOf $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_subClassOf) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subPropertyOf $_214) true % 0.81/1.62 (icext $_214 uri_rdfs_subPropertyOf) true = true % 0.81/1.62 |- ifeq (iext uri_owl_sameAs $_216 $_217) true (icext uri_ex_Person $_216) % 0.81/1.62 true = true % 0.81/1.62 |- ifeq (iext uri_rdf_first $_216 $_217) true (icext uri_rdf_List $_216) % 0.81/1.62 true = true % 0.81/1.62 |- ifeq (iext uri_rdf_object $_216 $_217) true % 0.81/1.62 (icext uri_rdfs_Statement $_216) true = true % 0.81/1.62 |- ifeq (iext uri_rdf_predicate $_216 $_217) true % 0.81/1.62 (icext uri_rdfs_Statement $_216) true = true % 0.81/1.62 |- ifeq (iext uri_rdf_rest $_216 $_217) true (icext uri_rdf_List $_216) % 0.81/1.62 true = true % 0.81/1.62 |- ifeq (iext uri_rdf_subject $_216 $_217) true % 0.81/1.62 (icext uri_rdfs_Statement $_216) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_comment $_216 $_217) true true true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain $_216 $_217) true % 0.81/1.62 (icext uri_rdf_Property $_216) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_label $_216 $_217) true true true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_216 $_217) true % 0.81/1.62 (icext uri_rdf_Property $_216) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_subClassOf $_216 $_217) true % 0.81/1.62 (icext uri_rdfs_Class $_216) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_subPropertyOf $_216 $_217) true % 0.81/1.62 (icext uri_rdf_Property $_216) true = true % 0.81/1.62 |- icext uri_ex_Person uri_ex_w = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain $P uri_ex_Person) true % 0.81/1.62 (ifeq (iext $P uri_ex_w $Y) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_subClassOf uri_ex_Person $D) true % 0.81/1.62 (icext $D uri_ex_w) true = true % 0.81/1.62 |- iext uri_rdf_type uri_ex_w uri_ex_Person = true % 0.81/1.62 |- icext uri_rdf_Property uri_rdf_predicate = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain $P uri_rdf_Property) true % 0.81/1.62 (ifeq (iext $P uri_rdf_predicate $Y) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_subClassOf uri_rdf_Property $D) true % 0.81/1.62 (icext $D uri_rdf_predicate) true = true % 0.81/1.62 |- iext uri_rdf_type uri_rdf_predicate uri_rdf_Property = true % 0.81/1.62 |- ip uri_rdf_predicate = true % 0.81/1.62 |- ifeq (iext uri_rdf_predicate $S $O) true true true = true % 0.81/1.62 |- iext uri_rdfs_subPropertyOf uri_rdf_predicate uri_rdf_predicate = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subPropertyOf $C) true % 0.81/1.62 (icext $C uri_rdf_predicate) true = true % 0.81/1.62 |- icext uri_rdf_Property uri_rdfs_comment = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain $P uri_rdf_Property) true % 0.81/1.62 (ifeq (iext $P uri_rdfs_comment $Y) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_subClassOf uri_rdf_Property $D) true % 0.81/1.62 (icext $D uri_rdfs_comment) true = true % 0.81/1.62 |- iext uri_rdf_type uri_rdfs_comment uri_rdf_Property = true % 0.81/1.62 |- ip uri_rdfs_comment = true % 0.81/1.62 |- iext uri_rdfs_subPropertyOf uri_rdfs_comment uri_rdfs_comment = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subPropertyOf $C) true % 0.81/1.62 (icext $C uri_rdfs_comment) true = true % 0.81/1.62 |- icext uri_rdf_Property uri_rdfs_label = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain $P uri_rdf_Property) true % 0.81/1.62 (ifeq (iext $P uri_rdfs_label $Y) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_subClassOf uri_rdf_Property $D) true % 0.81/1.62 (icext $D uri_rdfs_label) true = true % 0.81/1.62 |- iext uri_rdf_type uri_rdfs_label uri_rdf_Property = true % 0.81/1.62 |- ip uri_rdfs_label = true % 0.81/1.62 |- iext uri_rdfs_subPropertyOf uri_rdfs_label uri_rdfs_label = true % 0.81/1.62 |- ifeq (iext uri_rdfs_domain uri_rdfs_subPropertyOf $C) true % 0.81/1.62 (icext $C uri_rdfs_label) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_ex_Person) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_ex_w) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdf_List) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdf_nil) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdf_Property) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_owl_sameAs) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdf_Property) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdf__1) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdf_Property) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdf__2) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdf_Property) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdf__3) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdf_Property) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdf_first) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdf_Property) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdf_object) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdf_Property) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdf_predicate) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdf_Property) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdf_rest) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdf_Property) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdf_subject) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdf_Property) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdf_type) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdf_Property) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdf_value) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdf_Property) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdfs_comment) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdf_Property) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdfs_domain) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdf_Property) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdfs_isDefinedBy) true true true) true = % 0.81/1.62 true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdf_Property) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdfs_label) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdf_Property) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdfs_member) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdf_Property) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdfs_range) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdf_Property) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdfs_seeAlso) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdf_Property) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdfs_subClassOf) true true true) true = % 0.81/1.62 true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdf_Property) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdfs_subPropertyOf) true true true) true = % 0.81/1.62 true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdfs_Class) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdf_Alt) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdfs_Class) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdf_Bag) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdfs_Class) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdf_Property) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdfs_Class) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdf_XMLLiteral) true true true) true = % 0.81/1.62 true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdfs_Class) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdfs_Class) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdfs_Class) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdfs_Container) true true true) true = % 0.81/1.62 true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdfs_Class) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdfs_ContainerMembershipProperty) true % 0.81/1.62 true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdfs_Class) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdfs_Datatype) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdfs_Class) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdfs_Literal) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdfs_Class) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdfs_Resource) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdfs_Class) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdfs_Seq) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdfs_ContainerMembershipProperty) % 0.81/1.62 true (ifeq (iext $_393 $_394 uri_rdf__1) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdfs_ContainerMembershipProperty) % 0.81/1.62 true (ifeq (iext $_393 $_394 uri_rdf__2) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdfs_ContainerMembershipProperty) % 0.81/1.62 true (ifeq (iext $_393 $_394 uri_rdf__3) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdfs_Datatype) true % 0.81/1.62 (ifeq (iext $_393 $_394 uri_rdf_XMLLiteral) true true true) true = % 0.81/1.62 true % 0.81/1.62 |- ifeq (iext uri_rdfs_range $_393 uri_rdfs_Resource) true % 0.81/1.62 (ifeq (iext $_393 $_394 $_395) true true true) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_owl_sameAs $_392) true % 0.81/1.62 (icext $_392 uri_ex_u) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdf_type $_392) true % 0.81/1.62 (icext $_392 uri_ex_Person) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdf_type $_392) true % 0.81/1.62 (icext $_392 uri_rdf_Property) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdf_type $_392) true % 0.81/1.62 (icext $_392 uri_rdfs_Class) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdf_type $_392) true % 0.81/1.62 (icext $_392 uri_rdfs_Datatype) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdf_type $_392) true % 0.81/1.62 (icext $_392 uri_rdfs_ContainerMembershipProperty) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdf_type $_392) true % 0.81/1.62 (icext $_392 uri_rdf_List) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdf_type $_392) true % 0.81/1.62 (icext $_392 uri_rdfs_Resource) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_domain $_392) true % 0.81/1.62 (icext $_392 uri_ex_Person) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_domain $_392) true % 0.81/1.62 (icext $_392 uri_rdfs_Resource) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_domain $_392) true % 0.81/1.62 (icext $_392 uri_rdf_List) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_domain $_392) true % 0.81/1.62 (icext $_392 uri_rdfs_Statement) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_domain $_392) true % 0.81/1.62 (icext $_392 uri_rdf_Property) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_domain $_392) true % 0.81/1.62 (icext $_392 uri_rdfs_Class) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_range $_392) true % 0.81/1.62 (icext $_392 uri_rdfs_Resource) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_range $_392) true % 0.81/1.62 (icext $_392 uri_rdf_List) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_range $_392) true % 0.81/1.62 (icext $_392 uri_rdfs_Class) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_range $_392) true % 0.81/1.62 (icext $_392 uri_rdfs_Literal) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_range $_392) true % 0.81/1.62 (icext $_392 uri_rdf_Property) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_subClassOf $_392) true % 0.81/1.62 (icext $_392 uri_rdf_Alt) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_subClassOf $_392) true % 0.81/1.62 (icext $_392 uri_rdfs_Container) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_subClassOf $_392) true % 0.81/1.62 (icext $_392 uri_rdfs_Resource) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_subClassOf $_392) true % 0.81/1.62 (icext $_392 uri_rdf_Bag) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_subClassOf $_392) true % 0.81/1.62 (icext $_392 uri_rdf_Property) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_subClassOf $_392) true % 0.81/1.62 (icext $_392 uri_rdf_XMLLiteral) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_subClassOf $_392) true % 0.81/1.62 (icext $_392 uri_rdfs_Literal) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_subClassOf $_392) true % 0.81/1.62 (icext $_392 uri_rdfs_Class) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_subClassOf $_392) true % 0.81/1.62 (icext $_392 uri_rdfs_ContainerMembershipProperty) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_subClassOf $_392) true % 0.81/1.62 (icext $_392 uri_rdfs_Datatype) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_subClassOf $_392) true % 0.81/1.62 (icext $_392 uri_rdfs_Seq) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_subPropertyOf $_392) true % 0.81/1.62 (icext $_392 uri_owl_sameAs) true = true % 0.81/1.62 |- ifeq (iext uri_rdfs_range uri_rdfs_subPropertyOf $_392) true % 0.81/1.62 (icext $_392 uri_rdf__1) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range uri_rdfs_subPropertyOf $_392) true % 0.81/1.63 (icext $_392 uri_rdfs_member) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range uri_rdfs_subPropertyOf $_392) true % 0.81/1.63 (icext $_392 uri_rdf__2) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range uri_rdfs_subPropertyOf $_392) true % 0.81/1.63 (icext $_392 uri_rdf__3) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range uri_rdfs_subPropertyOf $_392) true % 0.81/1.63 (icext $_392 uri_rdf_first) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range uri_rdfs_subPropertyOf $_392) true % 0.81/1.63 (icext $_392 uri_rdf_object) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range uri_rdfs_subPropertyOf $_392) true % 0.81/1.63 (icext $_392 uri_rdf_predicate) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range uri_rdfs_subPropertyOf $_392) true % 0.81/1.63 (icext $_392 uri_rdf_rest) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range uri_rdfs_subPropertyOf $_392) true % 0.81/1.63 (icext $_392 uri_rdf_subject) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range uri_rdfs_subPropertyOf $_392) true % 0.81/1.63 (icext $_392 uri_rdf_type) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range uri_rdfs_subPropertyOf $_392) true % 0.81/1.63 (icext $_392 uri_rdf_value) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range uri_rdfs_subPropertyOf $_392) true % 0.81/1.63 (icext $_392 uri_rdfs_comment) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range uri_rdfs_subPropertyOf $_392) true % 0.81/1.63 (icext $_392 uri_rdfs_domain) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range uri_rdfs_subPropertyOf $_392) true % 0.81/1.63 (icext $_392 uri_rdfs_isDefinedBy) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range uri_rdfs_subPropertyOf $_392) true % 0.81/1.63 (icext $_392 uri_rdfs_seeAlso) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range uri_rdfs_subPropertyOf $_392) true % 0.81/1.63 (icext $_392 uri_rdfs_label) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range uri_rdfs_subPropertyOf $_392) true % 0.81/1.63 (icext $_392 uri_rdfs_range) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range uri_rdfs_subPropertyOf $_392) true % 0.81/1.63 (icext $_392 uri_rdfs_subClassOf) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range uri_rdfs_subPropertyOf $_392) true % 0.81/1.63 (icext $_392 uri_rdfs_subPropertyOf) true = true % 0.81/1.63 |- ifeq (iext uri_rdf_rest $_394 $_395) true (icext uri_rdf_List $_395) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdf_type $_394 $_395) true (icext uri_rdfs_Class $_395) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_comment $_394 $_395) true % 0.81/1.63 (icext uri_rdfs_Literal $_395) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_domain $_394 $_395) true % 0.81/1.63 (icext uri_rdfs_Class $_395) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_label $_394 $_395) true % 0.81/1.63 (icext uri_rdfs_Literal $_395) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range $_394 $_395) true (icext uri_rdfs_Class $_395) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subClassOf $_394 $_395) true % 0.81/1.63 (icext uri_rdfs_Class $_395) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_394 $_395) true % 0.81/1.63 (icext uri_rdf_Property $_395) true = true % 0.81/1.63 |- icext uri_rdfs_Class uri_ex_Person = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range $P uri_rdfs_Class) true % 0.81/1.63 (ifeq (iext $P $X uri_ex_Person) true true true) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_domain $P uri_rdfs_Class) true % 0.81/1.63 (ifeq (iext $P uri_ex_Person $Y) true true true) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Class $D) true % 0.81/1.63 (icext $D uri_ex_Person) true = true % 0.81/1.63 |- iext uri_rdf_type uri_ex_Person uri_rdfs_Class = true % 0.81/1.63 |- ic uri_ex_Person = true % 0.81/1.63 |- iext uri_rdfs_subClassOf uri_ex_Person uri_ex_Person = true % 0.81/1.63 |- iext uri_rdfs_subClassOf uri_ex_Person uri_rdfs_Resource = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range uri_rdfs_subClassOf $C) true % 0.81/1.63 (icext $C uri_ex_Person) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_domain uri_rdfs_subClassOf $C) true % 0.81/1.63 (icext $C uri_ex_Person) true = true % 0.81/1.63 |- ifeq (icext uri_ex_Person $X) true (icext uri_ex_Person $X) true = true % 0.81/1.63 |- icext uri_rdfs_Class uri_rdf_List = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range $P uri_rdfs_Class) true % 0.81/1.63 (ifeq (iext $P $X uri_rdf_List) true true true) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_domain $P uri_rdfs_Class) true % 0.81/1.63 (ifeq (iext $P uri_rdf_List $Y) true true true) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Class $D) true % 0.81/1.63 (icext $D uri_rdf_List) true = true % 0.81/1.63 |- iext uri_rdf_type uri_rdf_List uri_rdfs_Class = true % 0.81/1.63 |- ic uri_rdf_List = true % 0.81/1.63 |- iext uri_rdfs_subClassOf uri_rdf_List uri_rdf_List = true % 0.81/1.63 |- iext uri_rdfs_subClassOf uri_rdf_List uri_rdfs_Resource = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range uri_rdfs_subClassOf $C) true % 0.81/1.63 (icext $C uri_rdf_List) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_domain uri_rdfs_subClassOf $C) true % 0.81/1.63 (icext $C uri_rdf_List) true = true % 0.81/1.63 |- ifeq (icext uri_rdf_List $X) true (icext uri_rdf_List $X) true = true % 0.81/1.63 |- icext uri_rdfs_Class uri_rdfs_Statement = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range $P uri_rdfs_Class) true % 0.81/1.63 (ifeq (iext $P $X uri_rdfs_Statement) true true true) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_domain $P uri_rdfs_Class) true % 0.81/1.63 (ifeq (iext $P uri_rdfs_Statement $Y) true true true) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Class $D) true % 0.81/1.63 (icext $D uri_rdfs_Statement) true = true % 0.81/1.63 |- iext uri_rdf_type uri_rdfs_Statement uri_rdfs_Class = true % 0.81/1.63 |- ic uri_rdfs_Statement = true % 0.81/1.63 |- iext uri_rdfs_subClassOf uri_rdfs_Statement uri_rdfs_Statement = true % 0.81/1.63 |- iext uri_rdfs_subClassOf uri_rdfs_Statement uri_rdfs_Resource = true % 0.81/1.63 |- ifeq (iext uri_rdfs_range uri_rdfs_subClassOf $C) true % 0.81/1.63 (icext $C uri_rdfs_Statement) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_domain uri_rdfs_subClassOf $C) true % 0.81/1.63 (icext $C uri_rdfs_Statement) true = true % 0.81/1.63 |- ifeq (icext uri_rdfs_Statement $X) true (icext uri_rdfs_Statement $X) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_owl_sameAs) true % 0.81/1.63 (ifeq (iext $_558 uri_ex_w uri_ex_u) true true true) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_ex_Person uri_rdfs_Class) true true true) true = % 0.81/1.63 true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_ex_w uri_ex_Person) true true true) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_owl_sameAs uri_rdf_Property) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_Alt uri_rdfs_Class) true true true) true = % 0.81/1.63 true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_Bag uri_rdfs_Class) true true true) true = % 0.81/1.63 true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_List uri_rdfs_Class) true true true) true = % 0.81/1.63 true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_Property uri_rdfs_Class) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_XMLLiteral uri_rdfs_Class) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_XMLLiteral uri_rdfs_Datatype) true true % 0.81/1.63 true) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf__1 uri_rdf_Property) true true true) true = % 0.81/1.63 true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf__1 uri_rdfs_ContainerMembershipProperty) % 0.81/1.63 true true true) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf__2 uri_rdf_Property) true true true) true = % 0.81/1.63 true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf__2 uri_rdfs_ContainerMembershipProperty) % 0.81/1.63 true true true) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf__3 uri_rdf_Property) true true true) true = % 0.81/1.63 true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf__3 uri_rdfs_ContainerMembershipProperty) % 0.81/1.63 true true true) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_first uri_rdf_Property) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_nil uri_rdf_List) true true true) true = % 0.81/1.63 true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_object uri_rdf_Property) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_predicate uri_rdf_Property) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_rest uri_rdf_Property) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_subject uri_rdf_Property) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_type uri_rdf_Property) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_value uri_rdf_Property) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_Class uri_rdfs_Class) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_Container uri_rdfs_Class) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_ContainerMembershipProperty uri_rdfs_Class) % 0.81/1.63 true true true) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_Datatype uri_rdfs_Class) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_Literal uri_rdfs_Class) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_Resource uri_rdfs_Class) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_Seq uri_rdfs_Class) true true true) true = % 0.81/1.63 true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_Statement uri_rdfs_Class) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_comment uri_rdf_Property) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_domain uri_rdf_Property) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_isDefinedBy uri_rdf_Property) true true % 0.81/1.63 true) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_label uri_rdf_Property) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_member uri_rdf_Property) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_range uri_rdf_Property) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_seeAlso uri_rdf_Property) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_subClassOf uri_rdf_Property) true true % 0.81/1.63 true) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_subPropertyOf uri_rdf_Property) true true % 0.81/1.63 true) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdf_type) true % 0.81/1.63 (ifeq (iext $_558 $_560 uri_rdfs_Resource) true true true) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_domain) true % 0.81/1.63 (ifeq (iext $_558 uri_owl_sameAs uri_ex_Person) true true true) true = % 0.81/1.63 true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_domain) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf__1 uri_rdfs_Resource) true true true) true = % 0.81/1.63 true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_domain) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf__2 uri_rdfs_Resource) true true true) true = % 0.81/1.63 true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_domain) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf__3 uri_rdfs_Resource) true true true) true = % 0.81/1.63 true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_domain) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_first uri_rdf_List) true true true) true = % 0.81/1.63 true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_domain) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_object uri_rdfs_Statement) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_domain) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_predicate uri_rdfs_Statement) true true % 0.81/1.63 true) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_domain) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_rest uri_rdf_List) true true true) true = % 0.81/1.63 true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_domain) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_subject uri_rdfs_Statement) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_domain) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_type uri_rdfs_Resource) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_domain) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_value uri_rdfs_Resource) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_domain) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_comment uri_rdfs_Resource) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_domain) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_domain uri_rdf_Property) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_domain) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_isDefinedBy uri_rdfs_Resource) true true % 0.81/1.63 true) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_domain) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_label uri_rdfs_Resource) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_domain) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_member uri_rdfs_Resource) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_domain) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_range uri_rdf_Property) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_domain) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_seeAlso uri_rdfs_Resource) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_domain) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_subClassOf uri_rdfs_Class) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_domain) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_subPropertyOf uri_rdf_Property) true true % 0.81/1.63 true) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_range) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf__1 uri_rdfs_Resource) true true true) true = % 0.81/1.63 true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_range) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf__2 uri_rdfs_Resource) true true true) true = % 0.81/1.63 true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_range) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf__3 uri_rdfs_Resource) true true true) true = % 0.81/1.63 true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_range) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_first uri_rdfs_Resource) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_range) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_predicate uri_rdfs_Resource) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_range) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_rest uri_rdf_List) true true true) true = % 0.81/1.63 true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_range) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_subject uri_rdfs_Resource) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_range) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_type uri_rdfs_Class) true true true) true = % 0.81/1.63 true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_range) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_value uri_rdfs_Resource) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_range) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_comment uri_rdfs_Literal) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_range) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_domain uri_rdfs_Class) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_range) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_isDefinedBy uri_rdfs_Resource) true true % 0.81/1.63 true) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_range) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_label uri_rdfs_Literal) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_range) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_member uri_rdfs_Resource) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_range) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_range uri_rdfs_Class) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_range) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_seeAlso uri_rdfs_Resource) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_range) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_subClassOf uri_rdfs_Class) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_range) true % 0.81/1.63 (ifeq (iext $_558 uri_rdfs_subPropertyOf uri_rdf_Property) true true % 0.81/1.63 true) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.63 (ifeq (iext $_558 uri_ex_Person uri_ex_Person) true true true) true = % 0.81/1.63 true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.63 (ifeq (iext $_558 uri_ex_Person uri_rdfs_Resource) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_Alt uri_rdf_Alt) true true true) true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_Alt uri_rdfs_Container) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_Alt uri_rdfs_Resource) true true true) % 0.81/1.63 true = true % 0.81/1.63 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.63 (ifeq (iext $_558 uri_rdf_Bag uri_rdf_Bag) true true true) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdf_Bag uri_rdfs_Container) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdf_Bag uri_rdfs_Resource) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdf_List uri_rdf_List) true true true) true = % 0.81/1.64 true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdf_List uri_rdfs_Resource) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdf_Property uri_rdf_Property) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdf_Property uri_rdfs_Resource) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdf_XMLLiteral uri_rdf_XMLLiteral) true true % 0.81/1.64 true) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdf_XMLLiteral uri_rdfs_Literal) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdf_XMLLiteral uri_rdfs_Resource) true true % 0.81/1.64 true) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_Class uri_rdfs_Class) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_Class uri_rdfs_Resource) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_Container uri_rdfs_Container) true true % 0.81/1.64 true) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_Container uri_rdfs_Resource) true true % 0.81/1.64 true) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq % 0.81/1.64 (iext $_558 uri_rdfs_ContainerMembershipProperty uri_rdf_Property) % 0.81/1.64 true true true) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq % 0.81/1.64 (iext $_558 uri_rdfs_ContainerMembershipProperty % 0.81/1.64 uri_rdfs_ContainerMembershipProperty) true true true) true = % 0.81/1.64 true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq % 0.81/1.64 (iext $_558 uri_rdfs_ContainerMembershipProperty uri_rdfs_Resource) % 0.81/1.64 true true true) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_Datatype uri_rdfs_Class) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_Datatype uri_rdfs_Datatype) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_Datatype uri_rdfs_Resource) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_Literal uri_rdfs_Literal) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_Literal uri_rdfs_Resource) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_Resource uri_rdfs_Resource) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_Seq uri_rdfs_Container) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_Seq uri_rdfs_Resource) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_Seq uri_rdfs_Seq) true true true) true = % 0.81/1.64 true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_Statement uri_rdfs_Resource) true true % 0.81/1.64 true) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subClassOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_Statement uri_rdfs_Statement) true true % 0.81/1.64 true) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_owl_sameAs uri_owl_sameAs) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdf__1 uri_rdf__1) true true true) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdf__1 uri_rdfs_member) true true true) true = % 0.81/1.64 true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdf__2 uri_rdf__2) true true true) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdf__2 uri_rdfs_member) true true true) true = % 0.81/1.64 true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdf__3 uri_rdf__3) true true true) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdf__3 uri_rdfs_member) true true true) true = % 0.81/1.64 true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdf_first uri_rdf_first) true true true) true = % 0.81/1.64 true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdf_object uri_rdf_object) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdf_predicate uri_rdf_predicate) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdf_rest uri_rdf_rest) true true true) true = % 0.81/1.64 true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdf_subject uri_rdf_subject) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdf_type uri_rdf_type) true true true) true = % 0.81/1.64 true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdf_value uri_rdf_value) true true true) true = % 0.81/1.64 true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_comment uri_rdfs_comment) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_domain uri_rdfs_domain) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_isDefinedBy uri_rdfs_isDefinedBy) true true % 0.81/1.64 true) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_isDefinedBy uri_rdfs_seeAlso) true true % 0.81/1.64 true) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_label uri_rdfs_label) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_member uri_rdfs_member) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_range uri_rdfs_range) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_seeAlso uri_rdfs_seeAlso) true true true) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_subClassOf uri_rdfs_subClassOf) true true % 0.81/1.64 true) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf $_558 uri_rdfs_subPropertyOf) true % 0.81/1.64 (ifeq (iext $_558 uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf) true % 0.81/1.64 true true) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_owl_sameAs $_559) true % 0.81/1.64 (iext $_559 uri_ex_w uri_ex_u) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_ex_Person uri_rdfs_Class) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_ex_w uri_ex_Person) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_owl_sameAs uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdf_Alt uri_rdfs_Class) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdf_Bag uri_rdfs_Class) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdf_List uri_rdfs_Class) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdf_Property uri_rdfs_Class) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdf_XMLLiteral uri_rdfs_Class) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdf_XMLLiteral uri_rdfs_Datatype) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdf__1 uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdf__1 uri_rdfs_ContainerMembershipProperty) true = % 0.81/1.64 true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdf__2 uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdf__2 uri_rdfs_ContainerMembershipProperty) true = % 0.81/1.64 true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdf__3 uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdf__3 uri_rdfs_ContainerMembershipProperty) true = % 0.81/1.64 true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdf_first uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdf_nil uri_rdf_List) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdf_object uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdf_predicate uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdf_rest uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdf_subject uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdf_type uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdf_value uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_Class uri_rdfs_Class) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_Container uri_rdfs_Class) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_ContainerMembershipProperty uri_rdfs_Class) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_Datatype uri_rdfs_Class) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_Literal uri_rdfs_Class) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_Resource uri_rdfs_Class) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_Seq uri_rdfs_Class) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_Statement uri_rdfs_Class) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_comment uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_domain uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_isDefinedBy uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_label uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_member uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_range uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_seeAlso uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_subClassOf uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_subPropertyOf uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdf_type $_559) true % 0.81/1.64 (iext $_559 $_560 uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_domain $_559) true % 0.81/1.64 (iext $_559 uri_owl_sameAs uri_ex_Person) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_domain $_559) true % 0.81/1.64 (iext $_559 uri_rdf__1 uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_domain $_559) true % 0.81/1.64 (iext $_559 uri_rdf__2 uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_domain $_559) true % 0.81/1.64 (iext $_559 uri_rdf__3 uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_domain $_559) true % 0.81/1.64 (iext $_559 uri_rdf_first uri_rdf_List) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_domain $_559) true % 0.81/1.64 (iext $_559 uri_rdf_object uri_rdfs_Statement) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_domain $_559) true % 0.81/1.64 (iext $_559 uri_rdf_predicate uri_rdfs_Statement) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_domain $_559) true % 0.81/1.64 (iext $_559 uri_rdf_rest uri_rdf_List) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_domain $_559) true % 0.81/1.64 (iext $_559 uri_rdf_subject uri_rdfs_Statement) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_domain $_559) true % 0.81/1.64 (iext $_559 uri_rdf_type uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_domain $_559) true % 0.81/1.64 (iext $_559 uri_rdf_value uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_domain $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_comment uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_domain $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_domain uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_domain $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_isDefinedBy uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_domain $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_label uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_domain $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_member uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_domain $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_range uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_domain $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_seeAlso uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_domain $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_subClassOf uri_rdfs_Class) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_domain $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_subPropertyOf uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_range $_559) true % 0.81/1.64 (iext $_559 uri_rdf__1 uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_range $_559) true % 0.81/1.64 (iext $_559 uri_rdf__2 uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_range $_559) true % 0.81/1.64 (iext $_559 uri_rdf__3 uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_range $_559) true % 0.81/1.64 (iext $_559 uri_rdf_first uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_range $_559) true % 0.81/1.64 (iext $_559 uri_rdf_predicate uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_range $_559) true % 0.81/1.64 (iext $_559 uri_rdf_rest uri_rdf_List) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_range $_559) true % 0.81/1.64 (iext $_559 uri_rdf_subject uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_range $_559) true % 0.81/1.64 (iext $_559 uri_rdf_type uri_rdfs_Class) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_range $_559) true % 0.81/1.64 (iext $_559 uri_rdf_value uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_range $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_comment uri_rdfs_Literal) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_range $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_domain uri_rdfs_Class) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_range $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_isDefinedBy uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_range $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_label uri_rdfs_Literal) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_range $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_member uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_range $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_range uri_rdfs_Class) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_range $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_seeAlso uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_range $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_subClassOf uri_rdfs_Class) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_range $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_subPropertyOf uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_ex_Person uri_ex_Person) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_ex_Person uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf_Alt uri_rdf_Alt) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf_Alt uri_rdfs_Container) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf_Alt uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf_Bag uri_rdf_Bag) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf_Bag uri_rdfs_Container) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf_Bag uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf_List uri_rdf_List) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf_List uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf_Property uri_rdf_Property) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf_Property uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf_XMLLiteral uri_rdf_XMLLiteral) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf_XMLLiteral uri_rdfs_Literal) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf_XMLLiteral uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_Class uri_rdfs_Class) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_Class uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_Container uri_rdfs_Container) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_Container uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_ContainerMembershipProperty uri_rdf_Property) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_ContainerMembershipProperty % 0.81/1.64 uri_rdfs_ContainerMembershipProperty) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_ContainerMembershipProperty uri_rdfs_Resource) % 0.81/1.64 true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_Datatype uri_rdfs_Class) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_Datatype uri_rdfs_Datatype) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_Datatype uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_Literal uri_rdfs_Literal) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_Literal uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_Resource uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_Seq uri_rdfs_Container) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_Seq uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_Seq uri_rdfs_Seq) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_Statement uri_rdfs_Resource) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subClassOf $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_Statement uri_rdfs_Statement) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.64 (iext $_559 uri_owl_sameAs uri_owl_sameAs) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf__1 uri_rdf__1) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf__1 uri_rdfs_member) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf__2 uri_rdf__2) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf__2 uri_rdfs_member) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf__3 uri_rdf__3) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf__3 uri_rdfs_member) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf_first uri_rdf_first) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf_object uri_rdf_object) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf_predicate uri_rdf_predicate) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf_rest uri_rdf_rest) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf_subject uri_rdf_subject) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf_type uri_rdf_type) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.64 (iext $_559 uri_rdf_value uri_rdf_value) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_comment uri_rdfs_comment) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_domain uri_rdfs_domain) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_isDefinedBy uri_rdfs_isDefinedBy) true = true % 0.81/1.64 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.64 (iext $_559 uri_rdfs_isDefinedBy uri_rdfs_seeAlso) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.65 (iext $_559 uri_rdfs_label uri_rdfs_label) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.65 (iext $_559 uri_rdfs_member uri_rdfs_member) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.65 (iext $_559 uri_rdfs_range uri_rdfs_range) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.65 (iext $_559 uri_rdfs_seeAlso uri_rdfs_seeAlso) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.65 (iext $_559 uri_rdfs_subClassOf uri_rdfs_subClassOf) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf $_559) true % 0.81/1.65 (iext $_559 uri_rdfs_subPropertyOf uri_rdfs_subPropertyOf) true = true % 0.81/1.65 |- ifeq (iext uri_owl_sameAs $_560 $_561) true % 0.81/1.65 (iext uri_owl_sameAs $_560 $_561) true = true % 0.81/1.65 |- ifeq (iext uri_rdf__1 $_560 $_561) true (iext uri_rdf__1 $_560 $_561) % 0.81/1.65 true = true % 0.81/1.65 |- ifeq (iext uri_rdf__1 $_560 $_561) true % 0.81/1.65 (iext uri_rdfs_member $_560 $_561) true = true % 0.81/1.65 |- ifeq (iext uri_rdf__2 $_560 $_561) true (iext uri_rdf__2 $_560 $_561) % 0.81/1.65 true = true % 0.81/1.65 |- ifeq (iext uri_rdf__2 $_560 $_561) true % 0.81/1.65 (iext uri_rdfs_member $_560 $_561) true = true % 0.81/1.65 |- ifeq (iext uri_rdf__3 $_560 $_561) true (iext uri_rdf__3 $_560 $_561) % 0.81/1.65 true = true % 0.81/1.65 |- ifeq (iext uri_rdf__3 $_560 $_561) true % 0.81/1.65 (iext uri_rdfs_member $_560 $_561) true = true % 0.81/1.65 |- ifeq (iext uri_rdf_first $_560 $_561) true % 0.81/1.65 (iext uri_rdf_first $_560 $_561) true = true % 0.81/1.65 |- ifeq (iext uri_rdf_object $_560 $_561) true % 0.81/1.65 (iext uri_rdf_object $_560 $_561) true = true % 0.81/1.65 |- ifeq (iext uri_rdf_predicate $_560 $_561) true % 0.81/1.65 (iext uri_rdf_predicate $_560 $_561) true = true % 0.81/1.65 |- ifeq (iext uri_rdf_rest $_560 $_561) true % 0.81/1.65 (iext uri_rdf_rest $_560 $_561) true = true % 0.81/1.65 |- ifeq (iext uri_rdf_subject $_560 $_561) true % 0.81/1.65 (iext uri_rdf_subject $_560 $_561) true = true % 0.81/1.65 |- ifeq (iext uri_rdf_type $_560 $_561) true % 0.81/1.65 (iext uri_rdf_type $_560 $_561) true = true % 0.81/1.65 |- ifeq (iext uri_rdf_value $_560 $_561) true % 0.81/1.65 (iext uri_rdf_value $_560 $_561) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_comment $_560 $_561) true % 0.81/1.65 (iext uri_rdfs_comment $_560 $_561) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_domain $_560 $_561) true % 0.81/1.65 (iext uri_rdfs_domain $_560 $_561) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_isDefinedBy $_560 $_561) true % 0.81/1.65 (iext uri_rdfs_isDefinedBy $_560 $_561) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_isDefinedBy $_560 $_561) true % 0.81/1.65 (iext uri_rdfs_seeAlso $_560 $_561) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_label $_560 $_561) true % 0.81/1.65 (iext uri_rdfs_label $_560 $_561) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_member $_560 $_561) true % 0.81/1.65 (iext uri_rdfs_member $_560 $_561) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_range $_560 $_561) true % 0.81/1.65 (iext uri_rdfs_range $_560 $_561) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_seeAlso $_560 $_561) true % 0.81/1.65 (iext uri_rdfs_seeAlso $_560 $_561) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf $_560 $_561) true % 0.81/1.65 (iext uri_rdfs_subClassOf $_560 $_561) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subPropertyOf $_560 $_561) true % 0.81/1.65 (iext uri_rdfs_subPropertyOf $_560 $_561) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Resource $_901) true % 0.81/1.65 (iext uri_rdfs_subClassOf uri_ex_Person $_901) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Container $_901) true % 0.81/1.65 (iext uri_rdfs_subClassOf uri_rdf_Alt $_901) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Resource $_901) true % 0.81/1.65 (iext uri_rdfs_subClassOf uri_rdf_Alt $_901) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Container $_901) true % 0.81/1.65 (iext uri_rdfs_subClassOf uri_rdf_Bag $_901) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Resource $_901) true % 0.81/1.65 (iext uri_rdfs_subClassOf uri_rdf_Bag $_901) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Resource $_901) true % 0.81/1.65 (iext uri_rdfs_subClassOf uri_rdf_List $_901) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Resource $_901) true % 0.81/1.65 (iext uri_rdfs_subClassOf uri_rdf_Property $_901) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Literal $_901) true % 0.81/1.65 (iext uri_rdfs_subClassOf uri_rdf_XMLLiteral $_901) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Resource $_901) true % 0.81/1.65 (iext uri_rdfs_subClassOf uri_rdf_XMLLiteral $_901) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Resource $_901) true % 0.81/1.65 (iext uri_rdfs_subClassOf uri_rdfs_Class $_901) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Resource $_901) true % 0.81/1.65 (iext uri_rdfs_subClassOf uri_rdfs_Container $_901) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf uri_rdf_Property $_901) true % 0.81/1.65 (iext uri_rdfs_subClassOf uri_rdfs_ContainerMembershipProperty $_901) % 0.81/1.65 true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Resource $_901) true % 0.81/1.65 (iext uri_rdfs_subClassOf uri_rdfs_ContainerMembershipProperty $_901) % 0.81/1.65 true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Class $_901) true % 0.81/1.65 (iext uri_rdfs_subClassOf uri_rdfs_Datatype $_901) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Resource $_901) true % 0.81/1.65 (iext uri_rdfs_subClassOf uri_rdfs_Datatype $_901) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Resource $_901) true % 0.81/1.65 (iext uri_rdfs_subClassOf uri_rdfs_Literal $_901) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Container $_901) true % 0.81/1.65 (iext uri_rdfs_subClassOf uri_rdfs_Seq $_901) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Resource $_901) true % 0.81/1.65 (iext uri_rdfs_subClassOf uri_rdfs_Seq $_901) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf uri_rdfs_Resource $_901) true % 0.81/1.65 (iext uri_rdfs_subClassOf uri_rdfs_Statement $_901) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf $_899 uri_ex_Person) true % 0.81/1.65 (iext uri_rdfs_subClassOf $_899 uri_rdfs_Resource) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf $_899 uri_rdf_Alt) true % 0.81/1.65 (iext uri_rdfs_subClassOf $_899 uri_rdfs_Container) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf $_899 uri_rdf_Alt) true % 0.81/1.65 (iext uri_rdfs_subClassOf $_899 uri_rdfs_Resource) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf $_899 uri_rdf_Bag) true % 0.81/1.65 (iext uri_rdfs_subClassOf $_899 uri_rdfs_Container) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf $_899 uri_rdf_Bag) true % 0.81/1.65 (iext uri_rdfs_subClassOf $_899 uri_rdfs_Resource) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf $_899 uri_rdf_List) true % 0.81/1.65 (iext uri_rdfs_subClassOf $_899 uri_rdfs_Resource) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf $_899 uri_rdf_Property) true % 0.81/1.65 (iext uri_rdfs_subClassOf $_899 uri_rdfs_Resource) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf $_899 uri_rdf_XMLLiteral) true % 0.81/1.65 (iext uri_rdfs_subClassOf $_899 uri_rdfs_Literal) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf $_899 uri_rdf_XMLLiteral) true % 0.81/1.65 (iext uri_rdfs_subClassOf $_899 uri_rdfs_Resource) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf $_899 uri_rdfs_Class) true % 0.81/1.65 (iext uri_rdfs_subClassOf $_899 uri_rdfs_Resource) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf $_899 uri_rdfs_Container) true % 0.81/1.65 (iext uri_rdfs_subClassOf $_899 uri_rdfs_Resource) true = true % 0.81/1.65 |- ifeq % 0.81/1.65 (iext uri_rdfs_subClassOf $_899 uri_rdfs_ContainerMembershipProperty) % 0.81/1.65 true (iext uri_rdfs_subClassOf $_899 uri_rdf_Property) true = true % 0.81/1.65 |- ifeq % 0.81/1.65 (iext uri_rdfs_subClassOf $_899 uri_rdfs_ContainerMembershipProperty) % 0.81/1.65 true (iext uri_rdfs_subClassOf $_899 uri_rdfs_Resource) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf $_899 uri_rdfs_Datatype) true % 0.81/1.65 (iext uri_rdfs_subClassOf $_899 uri_rdfs_Class) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf $_899 uri_rdfs_Datatype) true % 0.81/1.65 (iext uri_rdfs_subClassOf $_899 uri_rdfs_Resource) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf $_899 uri_rdfs_Literal) true % 0.81/1.65 (iext uri_rdfs_subClassOf $_899 uri_rdfs_Resource) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf $_899 uri_rdfs_Seq) true % 0.81/1.65 (iext uri_rdfs_subClassOf $_899 uri_rdfs_Container) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf $_899 uri_rdfs_Seq) true % 0.81/1.65 (iext uri_rdfs_subClassOf $_899 uri_rdfs_Resource) true = true % 0.81/1.65 |- ifeq (iext uri_rdfs_subClassOf $_899 uri_rdfs_Statement) true % 0.81/1.65 (iext uri_rdfs_subClassOf $_899 uri_rdfs_Resource) true = true % 0.81/1.65 SZS output end Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p % 0.81/1.65 %------------------------------------------------------------------------------