Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Trip
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Trip Motion) | Transportation.kif 4423-4423 | Trip is a subclass of motion |
| (documentation Trip EnglishLanguage "Trip is the subclass of Motions along a TransitRoute or Transitway.") | Transportation.kif 4425-4426 | Trip is a subclass of motion |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?T Trip) (exists (?TRANSLOCATION ?HUMAN) (and (instance ?TRANSLOCATION Translocation) (instance ?HUMAN Human) (agent ?TRANSLOCATION ?HUMAN) (agent ?T ?HUMAN) (subProcess ?TRANSLOCATION ?T)))) |
TravelPolicies.kif 406-414 | If X is an instance of trip, then there exist Y, Z such that Y is an instance of translocation, Z is an instance of human, Z is an agent of Y, Z is an agent of X, and Y is a subprocess of X |
| consequent |
|
|
| (=> (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 |
|