Index of /2005/rules/test/bld

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -
[DIR]Annotation_Entailment/24-Jun-2009 11:32 -
[DIR]Arbitrary_Entailment/28-Oct-2009 22:48 -
[DIR]Argument_names_in_uniterms_1/05-Jul-2009 17:32 -
[DIR]Argument_names_in_uniterms_2/05-Jul-2009 17:32 -
[DIR]Argument_names_in_uniterms_3/05-Jul-2009 17:32 -
[DIR]Argument_names_in_uniterms_4/05-Jul-2009 17:33 -
[DIR]Chaining_strategy_numeric-add_1/05-Jul-2009 17:31 -
[DIR]Chaining_strategy_numeric-add_2/28-Oct-2009 22:48 -
[DIR]Chaining_strategy_numeric-subtract_1/28-Oct-2009 22:47 -
[DIR]Chaining_strategy_numeric-subtract_2/05-Jul-2009 17:33 -
[DIR]Classification-inheritance/28-Oct-2009 22:48 -
[DIR]Classification_non-inheritance/28-Oct-2009 22:49 -
[DIR]Class_Membership/28-Oct-2009 22:48 -
[DIR]Core_NonSafeness/05-Jul-2009 17:31 -
[DIR]Core_NonSafeness_2/05-Jul-2009 17:33 -
[DIR]Core_Safeness/05-Jul-2009 17:33 -
[DIR]Core_Safeness_2/05-Jul-2009 17:33 -
[DIR]Core_Safeness_3/05-Jul-2009 17:32 -
[DIR]Disjunctive_Information_from_Negative_Guards_1/24-Jun-2009 11:37 -
[DIR]Disjunctive_Information_from_Negative_Guards_2/05-Jul-2009 17:31 -
[DIR]Disjunctive_Information_from_Negative_Guards_3/05-Jul-2009 17:32 -
[DIR]ElementEqualityFromListEquality/28-Oct-2009 22:50 -
[DIR]EntailEverything/28-Oct-2009 22:49 -
[DIR]Equality_in_conclusion_1/28-Oct-2009 22:48 -
[DIR]Equality_in_conclusion_2/28-Oct-2009 22:49 -
[DIR]Equality_in_conclusion_3/28-Oct-2009 22:50 -
[DIR]Equality_in_condition/28-Oct-2009 22:48 -
[DIR]External_Frames_1/05-Jul-2009 17:33 -
[DIR]Factorial_Functional/28-Oct-2009 22:48 -
[DIR]Factorial_Relational/28-Oct-2009 22:48 -
[DIR]Frames/05-Jul-2009 17:32 -
[DIR]Frame_slots_are_independent/05-Jul-2009 17:32 -
[DIR]Guards_and_subtypes/05-Jul-2009 17:32 -
[DIR]Inconsistent_Entailment/28-Oct-2009 22:49 -
[DIR]Individual-Data_Separation_Inconsistency/28-Oct-2009 22:49 -
[DIR]IRI_from_IRI/28-Oct-2009 22:49 -
[DIR]IRI_from_RDF_Literal/05-Jul-2009 17:31 -
[DIR]ListConstantEquality/28-Oct-2009 22:48 -
[DIR]ListEqualityFromElementEquality/28-Oct-2009 22:49 -
[DIR]ListLiteralEquality/28-Oct-2009 22:50 -
[DIR]Local_Constant/05-Jul-2009 17:32 -
[DIR]Local_Predicate/05-Jul-2009 17:31 -
[DIR]MalformedLists/28-Oct-2009 22:48 -
[DIR]Multiple_Context_Error/28-Oct-2009 22:49 -
[DIR]Multiple_IRIs_from_String/28-Oct-2009 22:49 -
[DIR]Multiple_Strings_from_IRI/28-Oct-2009 22:49 -
[DIR]Named_Argument_Uniterms_non-polymorphic/28-Oct-2009 22:49 -
[DIR]Non-Annotation_Entailment/05-Jul-2009 17:32 -
[DIR]No_polymorphic_symbols/05-Jul-2009 17:33 -
[DIR]Ordered_Relations/05-Jul-2009 17:32 -
[DIR]OWL_Combination_Vocabulary_Separation_Inconsistency_1/05-Jul-2009 17:33 -
[DIR]OWL_Combination_Vocabulary_Separation_Inconsistency_2/05-Jul-2009 17:32 -
[DIR]Quantify_free_variables/28-Oct-2009 22:50 -
[DIR]RDF_Combination_Blank_Node/05-Jul-2009 17:32 -
[DIR]RDF_Combination_Constant_Equivalence_1/05-Jul-2009 17:32 -
[DIR]RDF_Combination_Constant_Equivalence_2/05-Jul-2009 17:31 -
[DIR]RDF_Combination_Constant_Equivalence_3/05-Jul-2009 17:31 -
[DIR]RDF_Combination_Constant_Equivalence_4/05-Jul-2009 17:32 -
[DIR]RDF_Combination_Constant_Equivalence_Graph_Entailment_1/05-Jul-2009 17:31 -
[DIR]RDF_Combination_Constant_Equivalence_Graph_Entailment_2/05-Jul-2009 17:33 -
[DIR]RDF_Combination_Constant_Equivalence_Graph_Entailment_3/05-Jul-2009 17:39 -
[DIR]RDF_Combination_Member_1/28-Oct-2009 22:49 -
[DIR]RDF_Combination_SubClass/05-Jul-2009 17:31 -
[DIR]RDF_Combination_SubClass_2/05-Jul-2009 17:31 -
[DIR]RDF_Combination_SubClass_3/28-Oct-2009 22:48 -
[DIR]RDF_Combination_SubClass_4/28-Oct-2009 22:50 -
[DIR]RDF_Combination_SubClass_5/28-Oct-2009 22:50 -
[DIR]RDF_Combination_SubClass_6/28-Oct-2009 22:49 -
[DIR]UCR_4.1a/05-Jul-2009 17:33 -
[DIR]UCR_4.7a/05-Jul-2009 17:31 -
[DIR]Unordered_Relations/28-Oct-2009 22:50 -
[DIR]YoungParentDiscount_1/28-Oct-2009 22:48 -
[DIR]YoungParentDiscount_2/28-Oct-2009 22:47 -