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 WaterVehicle
(=>     (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 WaterTransportationIndustry 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 WaterVehicle
(=>     (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 TransitSystem is an instance of MultiModalTransitSystem and routeInSystem a Transitway and the TransitSystem 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 RailVehicle or the other object is an instance of WaterVehicle or the other object is an instance of RoadVehicle
(=>     (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 TransitSystem is an instance of MultiModalTransitSystem and routeInSystem a Transitway and the TransitSystem 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 RailVehicle 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 RoadVehicle or the other object is an instance of WaterVehicle 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 TransitSystem is an instance of MultiModalTransitSystem and routeInSystem a Transitway and the TransitSystem 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 RoadVehicle 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 RailVehicle or the other object is an instance of WaterVehicle 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 TransitSystem is an instance of UniModalTransitSystem and routeInSystem a Transitway and the TransitSystem 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 WaterVehicle 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 WaterVehicle
(=>     (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 BoatDeck, then there exists another object such that the other object is an instance of WaterVehicle 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 WaterVehicle 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 OutboardEngine, then the physical has the purpose there exists an entity such that the entity is an instance of WaterVehicle 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 BoatSeat, 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 WaterVehicle 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 WaterTransportationService, then there exist another process and an object such that the other process is an instance of WaterTransportation and the object is an instance of WaterVehicle 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 WaterTransportation, then there exist an object and another object such that the object is an instance of WaterVehicle and the other object is an instance of water area and the object is an instrument for the process and event located the process and 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 WaterSkiing, 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 WaterVehicle and the fourth object is an instance of water area and the object is an instance of WaterSki and event located the process and 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