Condition from quantities#
This page is generated from the code and must not be edited by hand.
A file whose name carries an amount, such as 10uM or 37C, is taken to record the condition it was made under.
condition_from_quantities version 1
Kind of rule: What files are (
classifies). Says what a file or a folder is, by placing it in a class.What it concludes: a class
Reasoning:
defeasible. A conclusion is usually right, and is retracted when a rule it names concludes against it.What it reads: one file at a time
Is it available in this version?#
Yes, the engine runs it. It publishes no conclusion yet: it names nothing that would defeat its conclusions, and a rule of this kind may not publish a conclusion that nothing could retract.
What would defeat it#
It names no rule whose conclusion would defeat it.
Parameters#
Parameter |
Shipped value |
May be |
What it does |
|---|---|---|---|
|
|
list of text |
The structural kinds that state a condition. Compared on the normalized magnitude and dimension, never on the spelling, which is how forty minutes and two thousand four hundred seconds become one condition without anybody being asked to type differently. |