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

	Name	Last modified	Size	Description
	Parent Directory		-
	RDF_Combination_Constant_Equivalence_4-conclusion.rif	2010-11-07 16:21	580
	RDF_Combination_Constant_Equivalence_4-conclusion.rifps	2010-05-17 00:55	68
	RDF_Combination_Constant_Equivalence_4-import001.rdf	2010-05-17 00:55	469
	RDF_Combination_Constant_Equivalence_4-import001.ttl	2010-05-17 00:55	123
	RDF_Combination_Constant_Equivalence_4-premise.rif	2010-11-07 16:21	627
	RDF_Combination_Constant_Equivalence_4-premise.rifps	2010-04-20 00:38	203
	RDF_Combination_Constant_Equivalence_4.xml	2010-08-16 11:31	2.5K