consequent

(=>     (and         (instance ?ORG Organization)         (attribute ?ORG MotorVehicleAndPartsDealers))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING)                 (and                     (instance ?EV Selling)                     (or                         (instance ?THING TransportationDevice)                         (exists (?DEV)                             (and                                 (part ?THING ?DEV)                                 (instance ?DEV TransportationDevice)))                         (patient ?EV ?THING)))))))	naics.kif 7023-7040	If a collection is an instance of organization and motor vehicle and parts dealers 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 an object such that the agent is an instance of selling and the object is an instance of transportation device or there exists another object such that the object is a part of the other object and the other object is an instance of transportation device or the object is a patient of the agent
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG TransportationEquipmentManufacturing))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (instance ?THING TransportationDevice)                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 5683-5699	If a collection is an instance of organization and transportation equipment manufacturing 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 exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of transportation device and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
(=>     (and         (instance ?PARK DisabledParking)         (instance ?AGENT Human)         (attribute ?AGENT ?ATTR)         (instance ?ATTR Disability))     (hasPurposeForAgent ?PARK         (exists (?EVENT ?TD)             (and                 (instance ?EVENT Putting)                 (playsRoleInEvent ?PARK destination ?EVENT)                 (playsRoleInEvent ?TD patient ?EVENT)                 (instance ?TD TransportationDevice))) ?AGENT))	TransportDetail.kif 51-63	If a physical is an instance of disabled parking and an agent is an instance of human and an attribute is an attribute of the agent and the attribute is an instance of disability, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of putting and the physical plays role in event destination for the entity and the other entity plays role in event patient for the entity and the other entity is an instance of transportation device for the agent
(=>     (instance ?PARK ParkingRegion)     (hasPurpose ?PARK         (exists (?EVENT ?TD)             (and                 (instance ?EVENT Putting)                 (playsRoleInEvent ?PARK destination ?EVENT)                 (playsRoleInEvent ?TD patient ?EVENT)                 (instance ?TD TransportationDevice)))))	TransportDetail.kif 36-44	If a physical is an instance of parking area, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of putting and the physical plays role in event destination for the entity and the other entity plays role in event patient for the entity and the other entity is an instance of transportation device
(=>     (instance ?TERM TransitTerminal)     (hasPurpose ?TERM         (exists (?T ?D)             (and                 (patient ?T ?D)                 (instance ?D TransportationDevice)                 (or                     (instance ?T Arriving)                     (instance ?T Leaving))                 (eventLocated ?T ?TERM)))))	Transportation.kif 3667-3677	If a physical is an instance of transit terminal, then the physical has the purpose there exist an entity and another entity such that the other entity is a patient of the entity and the other entity is an instance of transportation device and the entity is an instance of arriving or the entity is an instance of leaving and the entity is located at the physical
(=>     (instance ?TRANS Transportation)     (exists (?DEVICE)         (and             (instance ?DEVICE TransportationDevice)             (instrument ?TRANS ?DEVICE))))	Merge.kif 11747-11752	If a process is an instance of transportation, then there exists an object such that the object is an instance of transportation device and the object is an instrument for the process
(=>     (instance ?X CarBombing)     (exists (?BOMB ?CAR)         (and             (instance ?BOMB Bomb)             (instance ?CAR TransportationDevice)             (instrument ?X ?CAR)             (instrument ?X ?BOMB)             (connected ?CAR ?BOMB))))	Mid-level-ontology.kif 23469-23477	If a process is an instance of car bombing, then there exist an object and another object such that the object is an instance of bomb and the other object is an instance of transportation device and the other object is an instrument for the process and the object is an instrument for the process and the other object is connected to the object
(=>     (instance ?X Hijacking)     (exists (?V ?A)         (and             (agent ?X ?A)             (instance ?V TransportationDevice)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?X))                 (not                     (possesses ?A ?V)))             (holdsDuring                 (WhenFn ?X)                 (possesses ?A ?V)))))	Mid-level-ontology.kif 23535-23548	If a process is an instance of hijacking, then there exist an entity and an agent such that the agent is an agent of the process and the entity is an instance of transportation device and the agent doesn't possess the entity holds during immediately before the time of existence of the process and the agent possesses the entity holds during the time of existence of the process
(=>     (instance ?X VehicleAttack)     (exists (?V)         (and             (instance ?V TransportationDevice)             (instrument ?X ?V))))	Mid-level-ontology.kif 23771-23776	If a process is an instance of vehicle attack, then there exists an object such that the object is an instance of transportation device and the object is an instrument for 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