consequent

(=>     (instance ?OE OutboardEngine)     (hasPurpose ?OE         (exists (?W)             (and                 (instance ?W WaterVehicle)                 (meetsSpatially ?OE ?W)                 (orientation ?OE ?W Outside)))))	Cars.kif 4428-4435	If X is an instance of outboard motor, then X has the purpose there exists Y such that Y is an instance of water vehicle, X meets Y, and X is outside of to Y
(=>     (instance ?S BoatSeat)     (hasPurpose ?S         (exists (?H ?T ?V)             (and                 (instance ?H Human)                 (instance ?V WaterVehicle)                 (holdsDuring ?T                     (and                         (attribute ?H Sitting)                         (located ?H ?S)                         (located ?S ?V)))))))	Cars.kif 5140-5151	If X is an instance of boat seat, then X has the purpose there exist Y, Z, W such that Y is an instance of human, W is an instance of water vehicle, sitting is an attribute of Y, Y is located at X, and X is located at W holds during Z
(=>     (instance ?M Mast)     (exists (?W)         (and             (instance ?W WaterVehicle)             (part ?M ?W))))	Mid-level-ontology.kif 1740-1745	If X is an instance of mast, then there exists Y such that Y is an instance of water vehicle and X is a part of Y
(=>     (and         (instance ?A Anchor)         (instance ?ATTACH Attaching)         (instrument ?ATTACH ?A)         (patient ?ATTACH ?S))     (instance ?S WaterVehicle))	Mid-level-ontology.kif 4702-4708	If X is an instance of anchor, Y is an instance of attaching, X is an instrument for Y, and Z is a patient of Y, then Z is an instance of water vehicle
(=>     (instance ?D BoatDeck)     (exists (?B)         (and             (instance ?B WaterVehicle)             (part ?D ?B))))	Mid-level-ontology.kif 4714-4719	If X is an instance of boat deck, then there exists Y such that Y is an instance of water vehicle and X is a part of Y
(=>     (instance ?TRANSPORT WaterTransportation)     (exists (?CRAFT ?AREA)         (and             (instance ?CRAFT WaterVehicle)             (instance ?AREA WaterArea)             (instrument ?TRANSPORT ?CRAFT)             (eventLocated ?TRANSPORT ?AREA))))	Mid-level-ontology.kif 19611-19618	If X is an instance of water transportation, then there exist Y, Z such that Y is an instance of water vehicle, Z is an instance of water area, Y is an instrument for X, and X is located at Z
(=>     (instance ?X WaterSkiing)     (exists (?HUMAN ?SKI ?BOAT ?LINE ?WATER ?TRANS ?MOTION)         (and             (instance ?BOAT WaterVehicle)             (instance ?WATER WaterArea)             (instance ?SKI WaterSki)             (eventLocated ?X ?WATER)             (instance ?HUMAN Human)             (located ?HUMAN ?SKI)             (connects ?LINE ?HUMAN ?BOAT)             (instance ?TRANS Transportation)             (instrument ?TRANS ?BOAT)             (instance ?MOTION Motion)             (agent ?MOTION ?HUMAN)             (instrument ?MOTION ?SKI)             (causes ?TRANS ?MOTION)             (subProcess ?MOTION ?X))))	Sports.kif 1260-1277	If X is an instance of water skiing, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U,, , T (2) S such that W is an instance of water vehicle (3) U is an instance of water area (4) Z is an instance of water ski (5) X is located at U (6) Y is an instance of human (7) Y is located at Z (8) V connects Y (9) W (10) T is an instance of transportation (11) W is an instrument for T (12) S is an instance of motion (13) Y is an agent of S (14) Z is an instrument for S (15) T causes S (16) S is a subprocess of X
(=>     (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 4056-4067	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 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 4087-4101	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 4103-4117	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 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 4135-4149	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
(=>     (instance ?SERVICE WaterTransportationService)     (exists (?WATER ?VEHICLE)         (and             (instance ?WATER WaterTransportation)             (instance ?VEHICLE WaterVehicle)             (instrument ?WATER ?VEHICLE)             (subProcess ?WATER ?SERVICE))))	Transportation.kif 5044-5051	If X is an instance of Water Transportation Service, then there exist Y, Z such that Y is an instance of water transportation, Z is an instance of water vehicle, Z is an instrument for Y, and Y is a subprocess of X
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG WaterTransportationIndustry))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?P)                 (and                     (instance ?EV Selling)                     (instance ?P Human)                     (patient ?EV ?P)                     (confersRight                         (exists (?T ?V ?OBJ)                             (and                                 (instance ?T Transportation)                                 (or                                     (patient ?T ?P)                                     (and                                         (possesses ?P ?OBJ)                                         (patient ?T ?OBJ)                                         (instance ?OBJ Object)))                                 (possesses ?ORG ?V)                                 (instance ?V WaterVehicle))) ?MEM ?P))))))	naics.kif 8080-8105	If X is an instance of organization and water transportation industry 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) Z allows W to perform task of the type 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 water vehicle

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 is open source software produced by Articulate Software and its partners