consequent

(=>     (and         (instance ?ORG Organization)         (attribute ?ORG TransitAndGroundPassengerTransportation))     (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)                             (and                                 (instance ?T Transportation)                                 (patient ?T ?P)                                 (possesses ?ORG ?V)                                 (instance ?V LandVehicle))) ?MEM ?P))))))	naics.kif 8344-8364	If a collection is an instance of organization and TransitAndGroundPassengerTransportation 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 and another entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity and the collection possesses the other entity and the other entity is an instance of LandVehicle
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG TruckTransportation))     (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)                                 (possesses ?P ?OBJ)                                 (patient ?T ?OBJ)                                 (instance ?OBJ Object)                                 (possesses ?ORG ?V)                                 (instance ?V LandVehicle))) ?MEM ?P))))))	naics.kif 8253-8275	If a collection is an instance of organization and TruckTransportation 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 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 LandVehicle
(=>     (instance ?LAND LandTransportation)     (exists (?CRAFT ?AREA)         (and             (instance ?CRAFT LandVehicle)             (instance ?AREA LandArea)             (instrument ?LAND ?CRAFT)             (located ?CRAFT ?AREA))))	Mid-level-ontology.kif 19308-19315	If a process is an instance of LandTransportation, then there exist an object and another object such that the object is an instance of LandVehicle and the other object is an instance of land area and the object is an instrument for the process and the object is located at the other object
(=>     (instance ?MINE LandMine)     (hasPurpose ?MINE         (exists (?L ?E ?M ?O)             (and                 (instance ?L LandArea)                 (located ?MINE ?L)                 (instance ?E Explosion)                 (instrument ?E ?MINE)                 (locatedAtTime ?MINE                     (WhenFn ?E) ?L)                 (causes ?M ?E)                 (instance ?M Motion)                 (eventLocated ?M ?L)                 (origin ?M ?O)                 (orientation ?O ?MINE On)                 (or                     (instance ?O Human)                     (instance ?O LandVehicle))))))	Mid-level-ontology.kif 19399-19417	If a physical is an instance of LandMine, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of land area and the physical is located at the entity and the other entity is an instance of Explosion and the physical is an instrument for the other entity and locatedAtTime the physical, the time of existence of the other entity and the entity and the third entity causes the other entity and the third entity is an instance of motion and event located the third entity and the entity and the third entity originates at the fourth entity and the fourth entity is On to the physical and the fourth entity is an instance of human or the fourth entity is an instance of LandVehicle
(=>     (instance ?SERVICE LandTransportationService)     (exists (?LAND ?VEHICLE)         (and             (instance ?LAND LandTransportation)             (instance ?VEHICLE LandVehicle)             (instrument ?LAND ?VEHICLE)             (subProcess ?LAND ?SERVICE))))	Transportation.kif 4511-4518	If a process is an instance of LandTransportationService, then there exist another process and an object such that the other process is an instance of LandTransportation and the object is an instance of LandVehicle and the object is an instrument for the other process and the other process is a subprocess of the process
(=>     (instance ?TRACK ContinuousTrack)     (hasPurpose ?TRACK         (exists (?R ?V ?T)             (and                 (instance ?R Rotating)                 (patient ?R ?TRACK)                 (part ?TRACK ?V)                 (instance ?V LandVehicle)                 (instance ?T Translocation)                 (patient ?T ?V)                 (causes ?R ?T)                 (subProcess ?R ?T)))))	Military.kif 214-226	If a physical is an instance of ContinuousTrack, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of Rotating and the physical is a patient of the entity and the physical is a part of the other entity and the other entity is an instance of LandVehicle and the third entity is an instance of Translocation and the other entity is a patient of the third entity and the entity causes the third entity and the entity is a subprocess of the third entity
(=>     (instance ?X Road)     (hasPurpose ?X         (exists (?EV ?VEH)             (and                 (instance ?EV Transportation)                 (eventLocated ?EV ?X)                 (instance ?VEH LandVehicle)                 (instrument ?EV ?VEH)))))	Mid-level-ontology.kif 23854-23862	If a physical is an instance of Road, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and event located the entity and the physical and the other entity is an instance of LandVehicle and the other entity is an instrument for the entity

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