consequent

(=>     (and         (instance ?ORG Organization)         (attribute ?ORG AirTransportationIndustry))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?P)                 (and                     (instance ?EV Selling)                     (instance ?P Human)                     (patient ?EV ?P)                     (confersRight                         (exists (?FLY ?PLANE ?OBJ)                             (and                                 (instance ?FLY Transportation)                                 (or                                     (patient ?FLY ?P)                                     (and                                         (possesses ?P ?OBJ)                                         (patient ?FLY ?OBJ)                                         (instance ?OBJ Object)))                                 (possesses ?ORG ?PLANE)                                 (instance ?PLANE Aircraft))) ?MEM ?P))))))	naics.kif 7953-7978	If a collection is an instance of organization and air 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, the cognitive agentLANE 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 cognitive agentLANE and the cognitive agentLANE 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 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 MultiModalTransitSystem)         (routeInSystem ?P ?S)         (instance ?T1 Transportation)         (path ?T1 ?P)         (instance ?V1 WaterVehicle)         (instrument ?T1 ?V1)         (instance ?T2 Transportation)         (path ?T2 ?P)         (instrument ?T2 ?V2))     (or         (instance ?V2 RailVehicle)         (instance ?V2 RoadVehicle)         (instance ?V2 Aircraft)))	Transportation.kif 3599-3613	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 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 rail vehicle or the other object is an instance of road 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 Aircraft)         (instrument ?T1 ?V1)         (instance ?T2 Transportation)         (path ?T2 ?P)         (instrument ?T2 ?V2))     (instance ?V2 Aircraft))	Transportation.kif 3549-3560	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 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 aircraft
(=>     (attribute ?X AeronauticalEngineer)     (exists (?SKILL)         (and             (hasSkill ?SKILL ?X)             (forall (?P)                 (=>                     (instance ?P ?SKILL)                     (or                         (exists (?CONS ?OBJ ?PT)                             (and                                 (instance ?CONS Making)                                 (or                                     (instance ?OBJ Aircraft)                                     (and                                         (instance ?OBJ ?PT)                                         (typicalPart ?PT Aircraft)))                                 (result ?CONS ?OBJ)                                 (subProcess ?P ?CONS)))                         (exists (?DESIGN ?PLAN ?OBJ ?PT)                             (and                                 (instance ?DESIGN Designing)                                 (or                                     (instance ?OBJ Aircraft)                                     (and                                         (instance ?OBJ ?PT)                                         (typicalPart ?PT Aircraft)))                                 (result ?DESIGN ?PLAN)                                 (represents ?PLAN ?OBJ)                                 (subProcess ?P ?DESIGN)))))))))	Biography.kif 444-473	If aeronautical engineer is an attribute of an agent, then there exists a kind of process such that the agent has the skill to do a kind of process and for all another process if the other process is an instance of the kind of process, then there exist a third process, an entity and the other processT such that the third process is an instance of making and the entity is an instance of aircraft or the entity is an instance of the other processT and a the other processT is typically a part of a aircraft and the entity is a result of the third process and the other process is a subprocess of the third process or there exist a fourth process, the other processLAN,, , the entity and the other processT such that the fourth process is an instance of designing and the entity is an instance of aircraft or the entity is an instance of the other processT and a the other processT is typically a part of a aircraft and the other processLAN is a result of the fourth process and the other processLAN expresses the entity and the other process is a subprocess of the fourth process
(=>     (instance ?AIRLINE Airline)     (exists (?FLEET ?AIRCRAFT)         (and             (instance ?FLEET Fleet)             (possesses ?AIRLINE ?FLEET)             (instance ?AIRCRAFT Aircraft)             (member ?AIRCRAFT ?FLEET))))	Transportation.kif 4462-4469	If an agent is an instance of Airline, then there exist a collection and a physical such that the collection is an instance of Fleet and the agent possesses the collection and the physical is an instance of aircraft and the physical is a member of the collection
(=>     (instance ?AR AirReconnaissance)     (exists (?AIRCRAFT)         (and             (instance ?AIRCRAFT Aircraft)             (instrument ?AR ?AIRCRAFT))))	MilitaryProcesses.kif 736-741	If a process is an instance of air reconnaissance, then there exists an object such that the object is an instance of aircraft and the object is an instrument for the process
(=>     (instance ?C AircraftCarrier)     (hasPurpose ?C         (exists (?A ?T ?CLASS)             (and                 (instance ?A Aircraft)                 (patient ?T ?A)                 (instance ?T ?CLASS)                 (or                     (and                         (capability ?CLASS origin ?C)                         (subclass ?CLASS TakingOff))                     (and                         (capability ?CLASS destination ?C)                         (subclass ?CLASS Landing)))))))	Transportation.kif 2638-2652	If a physical is an instance of aircraft carrier, then the physical has the purpose there exist an entity, another entity and the physicalLASS such that the entity is an instance of aircraft and the entity is a patient of the other entity and the other entity is an instance of the physicalLASS and the physical is capable of doing the physicalLASS as a origin and the physicalLASS is a subclass of taking off or the physical is capable of doing the physicalLASS as a destination and the physicalLASS is a subclass of landing
(=>     (instance ?FLY FlyingAircraft)     (exists (?CRAFT)         (and             (instance ?CRAFT Aircraft)             (patient ?FLY ?CRAFT))))	Mid-level-ontology.kif 19339-19344	If a process is an instance of flying, then there exists an entity such that the entity is an instance of aircraft and the entity is a patient of the process
(=>     (instance ?SERVICE AirTransportationService)     (exists (?AIRCRAFT ?AIR)         (and             (instance ?AIR AirTransportation)             (subProcess ?AIR ?SERVICE)             (instrument ?AIR ?AIRCRAFT)             (instance ?AIRCRAFT Aircraft))))	Transportation.kif 4498-4505	If a process is an instance of Air Transportation Service, then there exist an object and another process such that the other process is an instance of air transportation and the other process is a subprocess of the process and the object is an instrument for the other process and the object is an instance of aircraft
(=>     (instance ?TRANSPORT AirTransportation)     (exists (?CRAFT ?REGION)         (and             (instance ?CRAFT Aircraft)             (instance ?REGION AtmosphericRegion)             (instrument ?TRANSPORT ?CRAFT)             (eventLocated ?TRANSPORT ?REGION))))	Mid-level-ontology.kif 19226-19233	If a process is an instance of air transportation, then there exist an object and another object such that the object is an instance of aircraft and the other object is an instance of atmospheric region and the object is an instrument for the process and the process is located at the other object
(=>     (instance ?W WingDevice)     (exists (?A)         (and             (instance ?A Aircraft)             (part ?W ?A))))	Mid-level-ontology.kif 1733-1738	If an object is an instance of wing device, then there exists another object such that the other object is an instance of aircraft and the object is a part of the other object

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