(=>
(and
(instance ?DRIVING Driving)
(subProcess ?TRANSPORT ?DRIVING)
(instance ?TRANSPORT Transportation)
(instance ?VEHICLE Vehicle)
(patient ?DRIVING ?VEHICLE))
(conveyance ?TRANSPORT ?VEHICLE)) |
Mid-level-ontology.kif 25909-25916 |
If X is an instance of driving, Y is a subprocess of X, Y is an instance of transportation, Z is an instance of vehicle, and Z is a patient of X, then Z is a conveyance during Y |
(=>
(instance ?TERM TransitTerminal)
(hasPurpose ?TERM
(exists (?T ?P ?TIME)
(and
(instance ?T Translocation)
(locatedAtTime ?P ?TIME ?TERM)
(or
(passenger ?T ?P)
(conveyance ?T ?P))
(or
(equal ?TIME
(BeginFn
(WhenFn ?T)))
(equal ?TIME
(EndFn
(WhenFn ?T)))))))) |
Transportation.kif 4196-4208 |
If X is an instance of transit terminal, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of translocation (3) Z located at time W for X (4) Z is a passenger in Y, Z is a conveyance during Y (5) equal W (6) the beginning of the time of existence of Y, or equal W (7) the end of the time of existence of Y |
(=>
(and
(instance ?T Transportation)
(instance ?P1 Transitway)
(path ?T ?P1)
(conveyance ?T ?V)
(instance ?J TransitwayJunction)
(part ?J ?P1))
(exists (?P2 ?M)
(and
(instance ?P2 Transitway)
(not
(equal ?P1 ?P2))
(connects ?J ?P1 ?P2)
(capability Transfer path ?J)
(instance ?M Transfer)
(conveyance ?M ?V)
(meetsTemporally
(WhenFn ?T)
(WhenFn ?M))
(modalAttribute
(path ?M ?P2) Possibility)))) |
Transportation.kif 4362-4382 |
If All of the following hold: (1) X is an instance of transportation (2) Y is an instance of transitway (3) Y is path along which X occurs (4) Z is a conveyance during X (5) W is an instance of transitway junction (6) W is a part of Y, then All of the following hold: (1) there exist V (2) U such that V is an instance of transitway (3) equal Y (4) V (5) W connects Y (6) V (7) W is capable of doing transfer as a path (8) U is an instance of transfer (9) Z is a conveyance during U (10) the time of existence of X meets the time of existence of U (11) the statement V is path along which U occurs has the modal force of possibility |
