[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Heartlogic-dev] Open Heart Logic Wiki wiki page ItemContentAndExperimen
From: |
wiki |
Subject: |
[Heartlogic-dev] Open Heart Logic Wiki wiki page ItemContentAndExperimentalConditions updated by AnonymousGnome |
Date: |
Mon, 6 Jun 2005 04:48:38 UT |
Open Heart Logic Wiki page ItemContentAndExperimentalConditions edited by
AnonymousGnome
--- database/ItemContentAndExperimentalConditions.old Mon Jun 6 10:18:37 2005
+++ database/ItemContentAndExperimentalConditions Mon Jun 6 10:18:37 2005
@@ -9,82 +9,94 @@
=== Items
JustifiedDeduction
-UnRev
-Jesus loves his father because: (a) Sons love their fathers. nor (b) Jesus is
God's son.
+UnRevItem
+Jesus loves his father because: (a) Sons love their fathers. and (b) Jesus is
God's son.
RevItem
Jesus does not love his father because: (a) Sons love their fathers. nor (b)
Jesus is God's son.
-WhatsIt
+WhatsItItem
Jesus loves his father not because: (a) Sons love their fathers. nor(b) Jesus
is God's son.
BareDeduction
-UnRev
+UnRevItem
Jesus loves his father.
RevItem
Jesus does not love his father.
+GroundItem
+UnRevItem
+Jesus is God's son.
+RevItem
+Jeusus is not God's son.
+
+GroundItem
+UnRevItem
+Son's love their fathers.
+RevItem
+Son's do not love their fathers.| Technically in Cyc this may be a rule!!!
+
BareDeduction
-UnRev
+UnRevItem
The city of Vienna (in Austria) is wet.
RevItem
The city of Vienna (in Austria) is not wet.
GroundItem
-UnRev
+UnRevItem
Rivers are a kind of water.
RevItem
Rivers are not a kind of water.
RuleItem
-UnRev
+UnRevItem
If water touches an object then that object is wet.
RevItem
If water touches an object then that object is not wet.
GroundItem
-UnRev
+UnRevItem
The river Danube is a river.
RevItem
The river Danube is not a river.
GroundItem
-UnRev
+UnRevItem
The river Danube runs through the city of Vienna (in Austria).
RevItem
The river Danube does not run through the city of Vienna (in Austria).
RuleItem
-UnRev
+UnRevItem
If a river runs through a region it touches that region.
RevItem
If a river runs through a region it does not touch that region.
BareDeduction
-UnRev
+UnRevItem
Hillary Clinton feels no dislike for Bill Clinton.
RevItem
Hillary Clinton feels some dislike for Bill Clinton.
OtherRevWording
GroundItem
-UnRev
+UnRevItem
Hillary Clinton is married to Bill Clinton.
RevItem
Hillary Clinton is not married to Bill Clinton.
GroundItem
-UnRev
+UnRevItem
Spouses love each other.| hrm technically in Cyc this is a rule!!
RevItem
Spouses do not love each other.| hrm technically in Cyc this is a rule!!
GroundItem
-UnRev
+UnRevItem
Love and contempt are opposite emotions.
-UnRev
+RevItem
Love and contempt are not opposite emotions.
WhatsIt
Love and contempt are similar emotions.
RuleItem
-UnRev
+UnRevItem
Suppose that EMOTION-X and EMOTION-Y are opposite emotions. If a person
experiences EMOTION-X then he/she experiences zero amount of EMOTION-Y. |
BillToDo you must give a reversed on like this and fix its wording.