consequent

(=>     (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 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 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
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG RailTransportation))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?P)                 (and                     (instance ?EV Selling)                     (instance ?P Human)                     (patient ?EV ?P)                     (confersRight ?MEM ?P                         (exists (?MOVE ?RR ?OBJ)                             (and                                 (instance ?MOVE Transportation)                                 (or                                     (patient ?MOVE ?P)                                     (and                                         (possesses ?P ?OBJ)                                         (patient ?MOVE ?OBJ)                                         (instance ?OBJ Object)))                                 (possesses ?ORG ?RR)                                 (instance ?RR RailVehicle)))))))))	naics.kif 8031-8056	If X is an instance of organization and rail transportation is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exists W such that Y is an instance of selling (5) W is an instance of human (6) W is a patient of Y (7) W allows there exist V, U (8) T such that V is an instance of transportation (9) W is a patient of V or W possesses T (10) T is a patient of V (11) T is an instance of object (12) X possesses U (13) U is an instance of rail vehicle to perform task of the type Z

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

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners