consequent

(=>     (employs ?EMPLOYEE ?ORG)     (exists (?AREA)         (and             (located ?ORG ?AREA)             (basedIn ?EMPLOYEE ?ORG ?AREA))))	TravelPolicies.kif 373-378	If X employs Y, then there exists Z such that Y is located at Z, basedIn X, Y, and Z
(=>     (instance ?T BusinessTrip)     (exists (?TRIP ?HUMAN ?ORG ?AREA)         (and             (instance ?TRIP Trip)             (agent ?TRIP ?HUMAN)             (organizationRepresentative ?HUMAN ?ORG)             (hasPurpose ?TRIP                 (exists (?WORK)                     (and                         (instance ?WORK Working)                         (agent ?WORK ?HUMAN)                         (holdsDuring                             (WhenFn ?WORK)                             (not                                 (and                                     (basedIn ?HUMAN ?ORG ?AREA)                                     (located ?WORK ?AREA))))))))))	TravelPolicies.kif 384-401	If X is an instance of BusinessTrip, then there exist Y, Z,, , W and V such that Y is an instance of trip and Z is an agent of Y and an agent that is an organization representative (in some transaction) Z and W and Y has the purpose there exists U such that U is an instance of working and Z is an agent of U and ~{ basedIn Z, W and V } or ~{ U is located at V } holds during the time of existence of U

Show simplified definition (without tree view)
Show simplified definition (with tree view)