consequent

(=>     (and         (instance ?A Anchor)         (instance ?ATTACH Attaching)         (instrument ?ATTACH ?A)         (patient ?ATTACH ?S))     (instance ?S WaterVehicle))	Mid-level-ontology.kif 4685-4691	If an object is an instance of anchor and the objectTTACH is an instance of attaching and the object is an instrument for the objectTTACH and an entity is a patient of the objectTTACH, then the entity is an instance of water vehicle
(=>     (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 a collection is an instance of organization and water transportation industry is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the process allows the cognitive agent to perform task of the type there exist an entity, another entity and a third entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity or the cognitive agent possesses the third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the other entity and the other entity is an instance of water vehicle
(=>     (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 3615-3629	If a transit system is an instance of multi modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of aircraft and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of rail vehicle or the other object is an instance of water vehicle or the other object is an instance of road vehicle
(=>     (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 3583-3597	If a transit system is an instance of multi modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of rail vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of road vehicle or the other object is an instance of water vehicle or the other object 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 3567-3581	If a transit system is an instance of multi modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of road vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of rail vehicle or the other object is an instance of water vehicle or the other object is an instance of aircraft
(=>     (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 3536-3547	If a transit system is an instance of uni modal transit system and the transit system is a route in system of a transitway and a motion is an instance of transportation and the transitway is path along which the motion occurs and an object is an instance of water vehicle and the object is an instrument for the motion and another motion is an instance of transportation and the transitway is path along which the other motion occurs and another object is an instrument for the other motion, then the other object is an instance of water vehicle
(=>     (instance ?D BoatDeck)     (exists (?B)         (and             (instance ?B WaterVehicle)             (part ?D ?B))))	Mid-level-ontology.kif 4697-4702	If an object is an instance of boat deck, then there exists another object such that the other object is an instance of water vehicle and the object is a part of the other object
(=>     (instance ?M Mast)     (exists (?W)         (and             (instance ?W WaterVehicle)             (part ?M ?W))))	Mid-level-ontology.kif 1722-1727	If an object is an instance of mast, then there exists another object such that the other object is an instance of water vehicle and the object is a part of the other object
(=>     (instance ?OE OutboardEngine)     (hasPurpose ?OE         (exists (?W)             (and                 (instance ?W WaterVehicle)                 (meetsSpatially ?OE ?W)                 (orientation ?OE ?W Outside)))))	Cars.kif 4411-4418	If a physical is an instance of outboard motor, then the physical has the purpose there exists an entity such that the entity is an instance of water vehicle and the physical meets the entity and the physical is outside to the entity
(=>     (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 5123-5134	If a physical is an instance of boat seat, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of human and the third entity is an instance of water vehicle and sitting is an attribute of the entity and the entity is located at the physical and the physical is located at the third entity holds during the other entity
(=>     (instance ?SERVICE WaterTransportationService)     (exists (?WATER ?VEHICLE)         (and             (instance ?WATER WaterTransportation)             (instance ?VEHICLE WaterVehicle)             (instrument ?WATER ?VEHICLE)             (subProcess ?WATER ?SERVICE))))	Transportation.kif 4524-4531	If a process is an instance of Water Transportation Service, then there exist another process and an object such that the other process is an instance of water transportation and the object is an instance of water vehicle and the object is an instrument for the other process and the other process is a subprocess of the process
(=>     (instance ?TRANSPORT WaterTransportation)     (exists (?CRAFT ?AREA)         (and             (instance ?CRAFT WaterVehicle)             (instance ?AREA WaterArea)             (instrument ?TRANSPORT ?CRAFT)             (eventLocated ?TRANSPORT ?AREA))))	Mid-level-ontology.kif 19280-19287	If a process is an instance of water transportation, then there exist an object and another object such that the object is an instance of water vehicle and the other object is an instance of water area and the object is an instrument for the process and the process is located at the other object
(=>     (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 a process is an instance of water skiing, then there exist an agent, an object,, , another object,, , a third object,, , a fourth object,, , another process and a third process such that the other object is an instance of water vehicle and the fourth object is an instance of water area and the object is an instance of water ski and the process is located at the fourth object and the agent is an instance of human and the agent is located at the object and the third object connects the agent and the other object and the other process is an instance of transportation and the other object is an instrument for the other process and the third process is an instance of motion and the agent is an agent of the third process and the object is an instrument for the third process and the other process causes the third process and the third process is a subprocess of the process

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