%
% /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/logicmoo_engine.pl:1585
not_mudIsa(R, tPred) :-
        infer_by(tell1:99),
        isa(D, skIsIntPredArg2ofArityFn(R)),
        not_mudIsa(D, ftInt).
%
% /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/logicmoo_engine.pl:1585
not_mudIsa(D, skIsIntPredArg2ofArityFn(R)) :-
        infer_by(tell1:99),
        isa(R, tPred),
        not_mudIsa(D, ftInt).
%
% /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/logicmoo_engine.pl:1585
isa(D, ftInt) :-
        infer_by(tell1:99),
        isa(R, tPred),
        isa(D, skIsIntPredArg2ofArityFn(R)).
%
% /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/logicmoo_engine.pl:1585
not_mudIsa(R, tPred) :-
        infer_by(tell1:100),
        isa(D, skIsIntPredArg2ofArityFn(R)),
        not_arity(R, D).
%
% /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/logicmoo_engine.pl:1585
not_mudIsa(D, skIsIntPredArg2ofArityFn(R)) :-
        infer_by(tell1:100),
        isa(R, tPred),
        not_arity(R, D).
%
% /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/logicmoo_engine.pl:1585
arity(R, D) :-
        infer_by(tell1:100),
        isa(R, tPred),
        isa(D, skIsIntPredArg2ofArityFn(R)).
%
kif :-
        all(R,
            exists(D,
                   (room(R)=>door(D)&has(R, D)))).

tell2:99  not_mudIsa(D,skIsDoorInRoomArg2ofHasFn(R));not_room(R);door(D).
tell2:100  not_mudIsa(D,skIsDoorInRoomArg2ofHasFn(R));not_room(R);has(R,D).
% /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/logicmoo_engine.pl:1595
pttp :-

        [ (not_mudIsa(D, skIsDoorInRoomArg2ofHasFn(R)):-infer_by(tell2:99), room(R), not_door(D)),
          (not_room(R):-infer_by(tell2:99), isa(D, skIsDoorInRoomArg2ofHasFn(R)), not_door(D)),
          (door(D):-infer_by(tell2:99), isa(D, skIsDoorInRoomArg2ofHasFn(R)), room(R)),
          (not_mudIsa(D, skIsDoorInRoomArg2ofHasFn(R)):-infer_by(tell2:100), room(R), not_has(R, D)),
          (not_room(R):-infer_by(tell2:100), isa(D, skIsDoorInRoomArg2ofHasFn(R)), not_has(R, D)),
          (has(R, D):-infer_by(tell2:100), isa(D, skIsDoorInRoomArg2ofHasFn(R)), room(R))
        ].
%
% /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/logicmoo_engine.pl:1595
not_mudIsa(D, skIsDoorInRoomArg2ofHasFn(R)) :-
        infer_by(tell2:99),
        room(R),
        not_door(D).
%
% /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/logicmoo_engine.pl:1595
not_room(R) :-
        infer_by(tell2:99),
        isa(D, skIsDoorInRoomArg2ofHasFn(R)),
        not_door(D).
%
% /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/logicmoo_engine.pl:1595
door(D) :-
        infer_by(tell2:99),
        isa(D, skIsDoorInRoomArg2ofHasFn(R)),
        room(R).
%
% /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/logicmoo_engine.pl:1595
not_mudIsa(D, skIsDoorInRoomArg2ofHasFn(R)) :-
        infer_by(tell2:100),
        room(R),
        not_has(R, D).
%
% /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/logicmoo_engine.pl:1595
not_room(R) :-
        infer_by(tell2:100),
        isa(D, skIsDoorInRoomArg2ofHasFn(R)),
        not_has(R, D).
%
% /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/logicmoo_engine.pl:1595
has(R, D) :-
        infer_by(tell2:100),
        isa(D, skIsDoorInRoomArg2ofHasFn(R)),
        room(R).
%
kif :-
        all(X, (NOT(tNotFly(X))=>NOT(tPengin(X)))).

tell3:99  tNotFly(X);not_tPengin(X).
% /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/logicmoo_engine.pl:1603
pttp :-

        [ (tNotFly(X):-infer_by(tell3:99), tPengin(X)),
          (not_tPengin(X):-infer_by(tell3:99), not_tNotFly(X))
        ].
%
% /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/logicmoo_engine.pl:1603
tNotFly(X) :-
        infer_by(tell3:99),
        tPengin(X).
%
% /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/logicmoo_engine.pl:1603
not_tPengin(X) :-
        infer_by(tell3:99),
        not_tNotFly(X).
%
% /opt/PrologMUD/pack/logicmoo_base/prolog/logicmoo/logicmoo_engine.pl:1603
%          succeed(user:kif_tell(all(A, (~tNotFly(A)=> ~tPengin(A))))).
%