heartlogic-dev
[Top][All Lists]
Advanced

[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.




reply via email to

[Prev in Thread] Current Thread [Next in Thread]