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. _______________________________________________ Heartlogic-dev mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/heartlogic-dev
