Index of /2005/rules/test/repository/tc

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -  
[DIR]Assert/06-Nov-2009 15:56 -  
[DIR]AssertRetract/06-Nov-2009 15:56 -  
[DIR]AssertRetract2/06-Nov-2009 15:56 -  
[DIR]Builtin_literal-not-identical/06-Nov-2009 15:56 -  
[DIR]Builtins_Binary/05-Dec-2009 03:06 -  
[DIR]Builtins_List/11-Nov-2009 03:23 -  
[DIR]Builtins_Numeric/06-Nov-2009 15:57 -  
[DIR]Builtins_PlainLiteral/06-Nov-2009 15:56 -  
[DIR]Builtins_String/06-Nov-2009 15:56 -  
[DIR]Builtins_Time/06-Nov-2009 15:57 -  
[DIR]Builtins_XMLLiteral/06-Nov-2009 15:56 -  
[DIR]Builtins_anyURI/06-Nov-2009 15:56 -  
[DIR]Builtins_base64Binary/05-Dec-2009 03:10 -  
[DIR]Builtins_boolean/06-Nov-2009 15:57 -  
[DIR]Chaining_strategy_numeric-add_1/06-Nov-2009 15:56 -  
[DIR]Chaining_strategy_numeric-add_2/06-Nov-2009 15:56 -  
[DIR]Chaining_strategy_numeric-subtract_1/06-Nov-2009 15:57 -  
[DIR]Chaining_strategy_numeric-subtract_2/06-Nov-2009 15:57 -  
[DIR]Class_Membership/06-Nov-2009 15:56 -  
[DIR]Classification-inheritance/06-Nov-2009 15:55 -  
[DIR]Classification_non-inheritance/06-Nov-2009 15:56 -  
[DIR]Conflict_resolution/10-Nov-2010 02:39 -  
[DIR]Core_NonSafeness/08-Nov-2009 19:28 -  
[DIR]Core_NonSafeness_2/08-Nov-2009 19:28 -  
[DIR]Core_Safeness/06-Nov-2009 15:57 -  
[DIR]Core_Safeness_2/06-Nov-2009 15:57 -  
[DIR]Core_Safeness_3/06-Nov-2009 15:56 -  
[DIR]EBusiness_Contract/07-Nov-2010 17:02 -  
[DIR]ElementEqualityFromListEquality/06-Nov-2009 15:56 -  
[DIR]EntailEverything/06-Nov-2009 15:57 -  
[DIR]Equality_in_conclusion_1/06-Nov-2009 15:57 -  
[DIR]Equality_in_conclusion_2/06-Nov-2009 15:57 -  
[DIR]Equality_in_conclusion_3/06-Nov-2009 15:58 -  
[DIR]Equality_in_condition/06-Nov-2009 15:56 -  
[DIR]Factorial_Forward_Chaining/06-Nov-2009 15:57 -  
[DIR]Factorial_Functional/06-Nov-2009 15:57 -  
[DIR]Factorial_Relational/06-Nov-2009 15:56 -  
[DIR]Frame_slots_are_independent/06-Nov-2009 15:57 -  
[DIR]Frames/06-Nov-2009 15:56 -  
[DIR]Guards_and_subtypes/06-Nov-2009 15:56 -  
[DIR]IRI_from_IRI/06-Nov-2009 15:56 -  
[DIR]IRI_from_RDF_Literal/20-Apr-2010 01:02 -  
[DIR]Inconsistent_Entailment/06-Nov-2009 15:57 -  
[DIR]Individual-Data_Separation_Inconsistency/20-Apr-2010 00:39 -  
[DIR]ListConstantEquality/06-Nov-2009 15:56 -  
[DIR]ListEqualityFromElementEquality/06-Nov-2009 15:56 -  
[DIR]ListLiteralEquality/06-Nov-2009 15:56 -  
[DIR]Local_Constant/06-Nov-2009 15:56 -  
[DIR]Local_Predicate/06-Nov-2009 15:56 -  
[DIR]Modeling_Brain_Anatomy/07-Nov-2010 16:41 -  
[DIR]Modify/06-Nov-2009 15:56 -  
[DIR]Modify_loop/11-Nov-2009 03:23 -  
[DIR]Modify_noloop/10-Feb-2010 12:04 -  
[DIR]Multiple_Context_Error/06-Nov-2009 15:56 -  
[DIR]Multiple_IRIs_from_String/06-Nov-2009 15:56 -  
[DIR]Multiple_Strings_from_IRI/06-Nov-2009 15:56 -  
[DIR]Named_Argument_Uniterms_non-polymorphic/06-Nov-2009 15:57 -  
[DIR]Named_Arguments/17-May-2010 00:56 -  
[DIR]NestedListsAreNotFlatLists/06-Nov-2009 15:57 -  
[DIR]No_free_variables/08-Nov-2009 19:27 -  
[DIR]Non-Annotation_Entailment/20-Apr-2010 00:39 -  
[DIR]OWL_Combination_Invalid_DL_Formula/20-Apr-2010 01:02 -  
[DIR]OWL_Combination_Invalid_DL_Import/17-May-2010 00:56 -  
[DIR]OWL_Combination_Vocabulary_Separation_Inconsistency_1/20-Apr-2010 01:02 -  
[DIR]OWL_Combination_Vocabulary_Separation_Inconsistency_2/20-Apr-2010 01:02 -  
[DIR]OpenLists/06-Nov-2009 15:56 -  
[DIR]Ordered_Relations/17-May-2010 01:09 -  
[DIR]Positional_Arguments/17-May-2010 00:56 -  
[DIR]Quantify_free_variables/08-Nov-2009 19:31 -  
[DIR]RDF_Combination_Blank_Node/20-Apr-2010 01:02 -  
[DIR]RDF_Combination_Constant_Equivalence_1/20-Apr-2010 01:02 -  
[DIR]RDF_Combination_Constant_Equivalence_2/20-Apr-2010 01:01 -  
[DIR]RDF_Combination_Constant_Equivalence_3/20-Apr-2010 01:02 -  
[DIR]RDF_Combination_Constant_Equivalence_4/20-Apr-2010 01:02 -  
[DIR]RDF_Combination_Constant_Equivalence_Graph_Entailment/20-Apr-2010 01:02 -  
[DIR]RDF_Combination_Invalid_Constant_1/20-Apr-2010 01:02 -  
[DIR]RDF_Combination_Invalid_Constant_2/20-Apr-2010 01:01 -  
[DIR]RDF_Combination_Invalid_Profiles_1/20-Apr-2010 01:02 -  
[DIR]RDF_Combination_Member_1/20-Apr-2010 01:01 -  
[DIR]RDF_Combination_SubClass/20-Apr-2010 01:01 -  
[DIR]RDF_Combination_SubClass_2/20-Apr-2010 01:02 -  
[DIR]RDF_Combination_SubClass_3/20-Apr-2010 01:02 -  
[DIR]RDF_Combination_SubClass_4/20-Apr-2010 01:02 -  
[DIR]RDF_Combination_SubClass_5/20-Apr-2010 01:01 -  
[DIR]RDF_Combination_SubClass_6/20-Apr-2010 01:01 -  
[DIR]Retract/11-Nov-2009 14:22 -  
[DIR]UCR_4.1.1/07-Nov-2010 16:14 -  
[DIR]UCR_4.1.3/07-Nov-2010 16:13 -  
[DIR]UCR_4.1a/15-Aug-2010 23:55 -  
[DIR]UCR_4.7a/15-Aug-2010 23:55 -  
[DIR]Unordered_Relations/17-May-2010 01:11 -  
[DIR]YoungParentDiscount_1/20-Apr-2010 01:02 -  
[DIR]YoungParentDiscount_2/07-Nov-2010 16:17 -  
  翻译：