(=>
(and
(instance ?S SubwaySystem)
(routeInSystem ?P ?S))
(instance ?P Tunnel)) |
Transportation.kif 322-326 |
If X is an instance of subway and X is a route in system of Y, then Y is an instance of tunnel |
(=>
(and
(instance ?R RailTransportationSystem)
(routeInSystem ?P ?R))
(instance ?P Railway)) |
Transportation.kif 2234-2238 |
If X is an instance of rail transportation system and X is a route in system of Y, then Y is an instance of railway |
(=>
(and
(instance ?S RoadTransportationSystem)
(routeInSystem ?P ?S))
(instance ?P Roadway)) |
Transportation.kif 2284-2288 |
If X is an instance of road transportation system and X is a route in system of Y, then Y is an instance of roadway |
(=>
(and
(subSystem ?S ?T)
(routeInSystem ?P ?S))
(routeInSystem ?P ?T)) |
Transportation.kif 3888-3892 |
If X is a sub system of Y and Y is a route in system of Z, then X is a route in system of Z |
(=>
(and
(instance ?W WaterTransportationSystem)
(routeInSystem ?W ?P))
(instance ?P Waterway)) |
Transportation.kif 4029-4033 |
If X is an instance of water transportation system and Y is a route in system of X, then Y is an instance of waterway |
(=>
(and
(instance ?A AirTransportationSystem)
(routeInSystem ?A ?P))
(instance ?P AirTransitway)) |
Transportation.kif 4042-4046 |
If X is an instance of air transportation system and Y is a route in system of X, then Y is an instance of air transitway |
(=>
(and
(instance ?S UniModalTransitSystem)
(routeInSystem ?P ?S)
(instance ?T1 Transportation)
(path ?T1 ?P)
(instance ?V1 RoadVehicle)
(instrument ?T1 ?V1)
(instance ?T2 Transportation)
(path ?T2 ?P)
(instrument ?T2 ?V2))
(instance ?V2 RoadVehicle)) |
Transportation.kif 4054-4065 |
If All of the following hold: (1) X is an instance of uni modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of road vehicle (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then U is an instance of road vehicle |
(=>
(and
(instance ?S UniModalTransitSystem)
(routeInSystem ?P ?S)
(instance ?T1 Transportation)
(path ?T1 ?P)
(instance ?V1 RailVehicle)
(instrument ?T1 ?V1)
(instance ?T2 Transportation)
(path ?T2 ?P)
(instrument ?T2 ?V2))
(instance ?V2 RailVehicle)) |
Transportation.kif 4067-4078 |
If All of the following hold: (1) X is an instance of uni modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of rail vehicle (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then U is an instance of rail vehicle |
(=>
(and
(instance ?S UniModalTransitSystem)
(routeInSystem ?P ?S)
(instance ?T1 Transportation)
(path ?T1 ?P)
(instance ?V1 WaterVehicle)
(instrument ?T1 ?V1)
(instance ?T2 Transportation)
(path ?T2 ?P)
(instrument ?T2 ?V2))
(instance ?V2 WaterVehicle)) |
Transportation.kif 4080-4091 |
If All of the following hold: (1) X is an instance of uni modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of water vehicle (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then U is an instance of water vehicle |
(=>
(and
(instance ?S UniModalTransitSystem)
(routeInSystem ?P ?S)
(instance ?T1 Transportation)
(path ?T1 ?P)
(instance ?V1 Aircraft)
(instrument ?T1 ?V1)
(instance ?T2 Transportation)
(path ?T2 ?P)
(instrument ?T2 ?V2))
(instance ?V2 Aircraft)) |
Transportation.kif 4093-4104 |
If All of the following hold: (1) X is an instance of uni modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of aircraft (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then U is an instance of aircraft |
(=>
(and
(instance ?S MultiModalTransitSystem)
(routeInSystem ?P ?S)
(instance ?T1 Transportation)
(path ?T1 ?P)
(instance ?V1 RoadVehicle)
(instrument ?T1 ?V1)
(instance ?T2 Transportation)
(path ?T2 ?P)
(instrument ?T2 ?V2))
(or
(instance ?V2 RailVehicle)
(instance ?V2 WaterVehicle)
(instance ?V2 Aircraft))) |
Transportation.kif 4111-4125 |
If All of the following hold: (1) X is an instance of multi modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of road vehicle (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then At least one of the following holds: (1) U is an instance of rail vehicle (2) U is an instance of water vehicle (3) U is an instance of aircraft |
(=>
(and
(instance ?S MultiModalTransitSystem)
(routeInSystem ?P ?S)
(instance ?T1 Transportation)
(path ?T1 ?P)
(instance ?V1 RailVehicle)
(instrument ?T1 ?V1)
(instance ?T2 Transportation)
(path ?T2 ?P)
(instrument ?T2 ?V2))
(or
(instance ?V2 RoadVehicle)
(instance ?V2 WaterVehicle)
(instance ?V2 Aircraft))) |
Transportation.kif 4127-4141 |
If All of the following hold: (1) X is an instance of multi modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of rail vehicle (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then At least one of the following holds: (1) U is an instance of road vehicle (2) U is an instance of water vehicle (3) U is an instance of aircraft |
(=>
(and
(instance ?S MultiModalTransitSystem)
(routeInSystem ?P ?S)
(instance ?T1 Transportation)
(path ?T1 ?P)
(instance ?V1 WaterVehicle)
(instrument ?T1 ?V1)
(instance ?T2 Transportation)
(path ?T2 ?P)
(instrument ?T2 ?V2))
(or
(instance ?V2 RailVehicle)
(instance ?V2 RoadVehicle)
(instance ?V2 Aircraft))) |
Transportation.kif 4143-4157 |
If All of the following hold: (1) X is an instance of multi modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of water vehicle (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then At least one of the following holds: (1) U is an instance of rail vehicle (2) U is an instance of road vehicle (3) U is an instance of aircraft |
(=>
(and
(instance ?S MultiModalTransitSystem)
(routeInSystem ?P ?S)
(instance ?T1 Transportation)
(path ?T1 ?P)
(instance ?V1 Aircraft)
(instrument ?T1 ?V1)
(instance ?T2 Transportation)
(path ?T2 ?P)
(instrument ?T2 ?V2))
(or
(instance ?V2 RailVehicle)
(instance ?V2 WaterVehicle)
(instance ?V2 RoadVehicle))) |
Transportation.kif 4159-4173 |
If All of the following hold: (1) X is an instance of multi modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of aircraft (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then At least one of the following holds: (1) U is an instance of rail vehicle (2) U is an instance of water vehicle (3) U is an instance of road vehicle |
