Archive link copy of a file

This page is generated from the code and must not be edited by hand.

A link an archive left in place of a file is a copy of the file of its name held elsewhere in the folders read, matched by name and by the folders its text names; nothing is opened.

archive_link_copy_of_a_file version 2

• Kind of rule: Which files go together (groups). Says which things count as the same in some respect, and so forms groups.

• What it concludes: equivalent, in respect of archived_copy

• Reasoning: defeasible. A conclusion is usually right, and is retracted when a rule it names concludes against it.

• What it reads: files, which it sorts into groups

Is it available in this version?

Yes. The engine runs it.

What would defeat it

What this rule concludes about something is withdrawn when any of these rules concludes about the same thing:

• installed_software_in_folder: A folder is recognized as an installed program, such as a copy of Fiji or a Python environment, from the parts it holds, a name ending .app, its program-style subfolders or a majority of program files; its files are still indexed and read, and rules about experiments leave them alone.

Parameters

It has no parameters.