[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Heartlogic-dev] Kwiki wiki page ItemContentAndExperimentalConditions up
From: |
wiki |
Subject: |
[Heartlogic-dev] Kwiki wiki page ItemContentAndExperimentalConditions updated by AnonymousGnome |
Date: |
Tue, 24 May 2005 03:25:45 UT |
Kwiki page ItemContentAndExperimentalConditions edited by AnonymousGnome
--- database/ItemContentAndExperimentalConditions.old Tue May 24 08:55:45 2005
+++ database/ItemContentAndExperimentalConditions Tue May 24 08:55:45 2005
@@ -19,11 +19,11 @@
BARE-DEDUCTION
UNREV
-The city of Vienna, Austria is wet.
+The city of Vienna (in Austria) is wet.
GROUND
REV
-The city of Vienna, Austria is not wet.
+The city of Vienna (in Austria) is not wet.
GROUND
UNREV
@@ -39,7 +39,7 @@
RULE
REV
-If water touches x then x is not wet.
+If water touches an object then that object is not wet.
GROUND
UNREV
@@ -51,7 +51,7 @@
GROUND
UNREV
-The river Danube runs through the city of Vienna, Austria.
+The river Danube runs through the city of Vienna (in Austria).
RULE
UNREV
- [Heartlogic-dev] Kwiki wiki page ItemContentAndExperimentalConditions updated by AnonymousGnome,
wiki <=