Permalink
Browse files

update commonsense_psychology.clif

  • Loading branch information...
carmenschui@gmail.com
carmenschui@gmail.com committed Nov 19, 2013
1 parent e19d12e commit 623822556a5eefe6def446bce1e893da0516a759
Showing with 0 additions and 2 deletions.
  1. +0 −2 ontologies/commonsense_psychology/commonsense_psychology.clif
@@ -84,8 +84,6 @@ antecedent.")
(and (causalComplex_prime e3 s e2)(member1 e4 e2 s)
(and_conjunction e5 e3 e4)(believe a e5))))))
(cl-comment "CARMEN: NEED TO FIGURE OUT HOW TO EXPRESS CONJUNCTION OF PROPOSITIONS")
(cl-comment "In lines 5-6 of this axiom, e3 is the proposition that s is a causal complex for e2, e4 is the proposition that e2 is a member of s, e5 is the conjunction of these two propositions, and that’s what agent a believes. The “subgoal” relation is transitive.")
(forall (e1 e2 e3 a)

0 comments on commit 6238225

Please sign in to comment.