[16:33] <dmiles_afk> ?- ace_to_pkif('All persons have a heart.',X),kif_to_boxlog(X,_BOX),portray_clause((fol:-_BOX)).
[16:33] <PrologMUD> kif :-
[16:33] <PrologMUD>     all(PERSON_OBJ,
[16:33] <PrologMUD>         exists(HEART_OBJ,
[16:33] <PrologMUD>            v(NOT(tPerson(PERSON_OBJ)),
[16:33] <PrologMUD>              &(tHeart(HEART_OBJ),
[16:33] <PrologMUD>                mudHave(PERSON_OBJ, HEART_OBJ))))).
[16:33] <PrologMUD> freev(skIsHeartInPersonArg2ofHaveFn(PERSON_OBJ),[PERSON_OBJ])fol :-
[16:33] <PrologMUD>
[16:33] <PrologMUD>     [ (NOT(tPerson(PERSON_OBJ)):-{constraintExists(HEART_OBJ, skIsHeartInPersonArg2ofHaveFn(PERSON_OBJ))}, NOT(tHeart(HEART_OBJ))),
[16:33] <PrologMUD>       (tHeart(HEART_OBJ):-{constraintExists(HEART_OBJ, skIsHeartInPersonArg2ofHaveFn(PERSON_OBJ))}, tPerson(PERSON_OBJ)),
[16:33] <PrologMUD>       (NOT(tPerson(PERSON_OBJ)):-{constraintExists(HEART_OBJ, skIsHeartInPersonArg2ofHaveFn(PERSON_OBJ))}, NOT(mudHave(PERSON_OBJ, HEART_OBJ))),
[16:33] <PrologMUD>       (mudHave(PERSON_OBJ, HEART_OBJ):-{constraintExists(HEART_OBJ, skIsHeartInPersonArg2ofHaveFn(PERSON_OBJ))}, tPerson(PERSON_OBJ))
[16:33] <PrologMUD>     ].
[16:33] <PrologMUD> X=all(PERSON_OBJ,exists(HEART_OBJ,exists(HAVE_EVENT, (-(tPerson(PERSON_OBJ));tHeart(HEART_OBJ),mudHave(PERSON_OBJ,HEART_OBJ))))).  det(Yes,1)



[23:35] <dmiles_afk> ace_to_pkif('The animal turned.',_G11439153),kif_to_boxlog(_G11439153,_G11439177),portray_clause(user_error, (fol:-_G11439177)),!.
[23:35] <dmiles_afk> ?- ace_to_pkif('The animal turned.',_G11439153),kif_to_boxlog(_G11439153,_G11439177),portray_clause(user_error, (fol:-_G11439177)),!.
[23:35] <PrologMUD> kif :-
[23:35] <PrologMUD>     exists(TURNED_FRAME,
[23:35] <PrologMUD>            exists(ANIMAL_OBJ,
[23:35] <PrologMUD>               &(tAnimal(ANIMAL_OBJ),
[23:35] <PrologMUD>             t(TURNED_FRAME, turned, ANIMAL_OBJ)))).
[23:35] <PrologMUD> conj :-
[23:35] <PrologMUD>
[23:35] <PrologMUD>     [ v(NOT({constraintExists(TURNED_FRAME, skArg1ofTFn)}),
[23:35] <PrologMUD>         v(NOT({constraintExists(ANIMAL_OBJ, skIsAnimalInArgnofTFn)}),
[23:35] <PrologMUD>           tAnimal(ANIMAL_OBJ))),
[23:35] <PrologMUD>       v(NOT({constraintExists(TURNED_FRAME, skArg1ofTFn)}),
[23:36] <PrologMUD>         v(NOT({constraintExists(ANIMAL_OBJ, skIsAnimalInArgnofTFn)}),
[23:36] <PrologMUD>           t(TURNED_FRAME, turned, ANIMAL_OBJ)))
[23:36] <PrologMUD>     ].
[23:36] <PrologMUD> cf :-
[23:36] <PrologMUD>     cl([tAnimal(ANIMAL_OBJ)],
[23:36] <PrologMUD>
[23:36] <PrologMUD>        [ { constraintExists(TURNED_FRAME, skArg1ofTFn)
[23:36] <PrologMUD>          },
[23:36] <PrologMUD>          { constraintExists(ANIMAL_OBJ, skIsAnimalInArgnofTFn)
[23:36] <PrologMUD>          }
[23:36] <PrologMUD>        ]).
[23:36] <PrologMUD> cf :-
[23:36] <PrologMUD>     cl([t(TURNED_FRAME, turned, ANIMAL_OBJ)],
[23:36] <PrologMUD>
[23:36] <PrologMUD>        [ { constraintExists(TURNED_FRAME, skArg1ofTFn)
[23:36] <PrologMUD>          },
[23:36] <PrologMUD>          { constraintExists(ANIMAL_OBJ, skIsAnimalInArgnofTFn)
[23:36] <PrologMUD>          }
[23:36] <PrologMUD>        ]).
[23:36] <PrologMUD>  det(Yes,1)
Session Time: Thu Jun 11 00:00:00 2015
[15:27] <dmiles_afk> ?- ace_to_pkif('The animal turned.',_G11439153),kif_to_boxlog(_G11439153,_G11439177),portray_clause((fol:-_G11439177)),

[15:28] <dmiles_afk> ?- ace_to_pkif('A person who loves all animals is loved by someone.',_X),kif_to_boxlog(_X,_BOX),portray_clause((fol:-_BOX)).
[15:28] <PrologMUD> kif :-
[15:28] <PrologMUD>     exists(PERSON_OBJ,
[15:28] <PrologMUD>            exists(SOMEBODY_OBJ,
[15:28] <PrologMUD>               &(tPerson(PERSON_OBJ),
[15:28] <PrologMUD>             &(=>(exists(ANIMAL_OBJ,
[15:28] <PrologMUD>                     tAnimal(ANIMAL_OBJ)),
[15:28] <PrologMUD>                  mudLove(PERSON_OBJ, ANIMAL_OBJ)),
[15:28] <PrologMUD>               &(tSomebody(SOMEBODY_OBJ),
[15:28] <PrologMUD>                 mudLove(SOMEBODY_OBJ, PERSON_OBJ)))))).
[15:28] <PrologMUD> fol :-
[15:29] <PrologMUD>
[15:29] <PrologMUD>     [ (tPerson(PERSON_OBJ):-{constraintExists(PERSON_OBJ, skIsPersonInArg1ofLoveSomebodyArg2ofFn)}, {constraintExists(SOMEBODY_OBJ, skIsSomebodyInArg1ofLoveFn)}),
[15:29] <PrologMUD>       (tSomebody(SOMEBODY_OBJ):-{constraintExists(PERSON_OBJ, skIsPersonInArg1ofLoveSomebodyArg2ofFn)}, {constraintExists(SOMEBODY_OBJ, skIsSomebodyInArg1ofLoveFn)}),
[15:29] <PrologMUD>       (mudLove(SOMEBODY_OBJ, PERSON_OBJ):-{constraintExists(PERSON_OBJ, skIsPersonInArg1ofLoveSomebodyArg2ofFn)}, {constraintExists(SOMEBODY_OBJ, skIsSomebodyInArg1ofLoveFn)}),
[15:29] <PrologMUD>       (not_tAnimal(ANIMAL_OBJ):-{constraintExists(PERSON_OBJ, skIsPersonInArg1ofLoveSomebodyArg2ofFn)}, {constraintExists(SOMEBODY_OBJ, skIsSomebodyInArg1ofLoveFn)}, NOT(mudLove(PERSON_OBJ, ANIMAL_OBJ))),
[15:29] <PrologMUD>       (mudLove(PERSON_OBJ, ANIMAL_OBJ):-{constraintExists(PERSON_OBJ, skIsPersonInArg1ofLoveSomebodyArg2ofFn)}, {constraintExists(SOMEBODY_OBJ, skIsSomebodyInArg1ofLoveFn)}, tAnimal(ANIMAL_OBJ))
[15:29] <PrologMUD>     ].
[15:29] <PrologMUD>  det(Yes,1)
-