consequent

(=>     (instance ?W WingDevice)     (exists (?A)         (and             (instance ?A Aircraft)             (part ?W ?A))))	Mid-level-ontology.kif 1802-1807	If X is an instance of wing device, then there exists Y such that Y is an instance of aircraft and X is a part of Y
(=>     (instance ?TRANSPORT AirTransportation)     (exists (?CRAFT ?REGION)         (and             (instance ?CRAFT Aircraft)             (instance ?REGION AtmosphericRegion)             (instrument ?TRANSPORT ?CRAFT)             (eventLocated ?TRANSPORT ?REGION))))	Mid-level-ontology.kif 19609-19616	If X is an instance of air transportation, then there exist Y, Z such that Y is an instance of aircraft, Z is an instance of atmospheric region, Y is an instrument for X, and X is located at Z
(=>     (instance ?FLY FlyingAircraft)     (exists (?CRAFT)         (and             (instance ?CRAFT Aircraft)             (patient ?FLY ?CRAFT))))	Mid-level-ontology.kif 19722-19727	If X is an instance of flying, then there exists Y such that Y is an instance of aircraft and Y is a patient of X
(=>     (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 X, then All of the following hold: (1) there exists Y such that X has the skill to do Y (2) Z Z is an instance of Ythere exist W, V (3) U such that W is an instance of making (4) V is an instance of aircraft or V is an instance of U (5) a U is typically a part of a aircraft (6) V is a result of W (7) Z is a subprocess of W or there exist T, S,, , V (8) U such that T is an instance of designing (9) V is an instance of aircraft or V is an instance of U (10) a U is typically a part of a aircraft (11) S is a result of T (12) S expresses V (13) Z is a subprocess of T
(=>     (instance ?W AntiAircraftWarfare)     (hasPurpose ?W         (exists (?D ?A)             (and                 (instance ?D Discovering)                 (patient ?D ?A)                 (instance ?A Aircraft)                 (attribute ?A Enemy)                 (hasPurpose ?D                     (exists (?E)                         (and                             (instance ?E Destruction)                             (patient ?E ?A))))))))	Military.kif 368-381	If X is an instance of anti-aircrraft warfare, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of discovering (3) Z is a patient of Y (4) Z is an instance of aircraft (5) enemy is an attribute of Z (6) Y has the purpose there exists W such that W is an instance of destruction (7) Z is a patient of W
(=>     (instance ?AR AirReconnaissance)     (exists (?AIRCRAFT)         (and             (instance ?AIRCRAFT Aircraft)             (instrument ?AR ?AIRCRAFT))))	MilitaryProcesses.kif 758-763	If X is an instance of air reconnaissance, then there exists Y such that Y is an instance of aircraft and Y is an instrument for X
(=>     (instance ?RW Runway)     (hasPurpose ?RW         (exists (?A ?T)             (and                 (instance ?A Aircraft)                 (patient ?T ?A)                 (or                     (and                         (origin ?T ?RW)                         (instance ?T TakingOff))                     (and                         (destination ?T ?RW)                         (instance ?T Landing)))))))	Transportation.kif 1385-1398	If X is an instance of runway, then X has the purpose there exist Y, Z such that Y is an instance of aircraft, Y is a patient of Z, Z originates at X, Z is an instance of taking off or Z ends up at X, and Z is an instance of landing
(=>     (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 2649-2663	If X is an instance of aircraft carrier, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of aircraft (3) Y is a patient of Z (4) Z is an instance of W (5) X is capable of doing W as a origin (6) W is a subclass of taking off or X is capable of doing W as a destination (7) W is a subclass of landing
(=>     (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 4093-4104	If All of the following hold: (1) X is an instance of uni modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of aircraft (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then U 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 4111-4125	If All of the following hold: (1) X is an instance of multi modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of road vehicle (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then At least one of the following holds: (1) U is an instance of rail vehicle (2) U is an instance of water vehicle (3) U 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 4127-4141	If All of the following hold: (1) X is an instance of multi modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of rail vehicle (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then At least one of the following holds: (1) U is an instance of road vehicle (2) U is an instance of water vehicle (3) U 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 4143-4157	If All of the following hold: (1) X is an instance of multi modal transit system (2) X is a route in system of Y (3) Z is an instance of transportation (4) Y is path along which Z occurs (5) W is an instance of water vehicle (6) W is an instrument for Z (7) V is an instance of transportation (8) Y is path along which V occurs (9) U is an instrument for V, then At least one of the following holds: (1) U is an instance of rail vehicle (2) U is an instance of road vehicle (3) U is an instance of aircraft
(=>     (instance ?AIRLINE Airline)     (exists (?FLEET ?AIRCRAFT)         (and             (instance ?FLEET Fleet)             (possesses ?AIRLINE ?FLEET)             (instance ?AIRCRAFT Aircraft)             (member ?AIRCRAFT ?FLEET))))	Transportation.kif 5006-5013	If X is an instance of Airline, then there exist Y, Z such that Y is an instance of Fleet, X possesses Y, Z is an instance of aircraft, and Z is a member of Y
(=>     (instance ?SERVICE AirTransportationService)     (exists (?AIRCRAFT ?AIR)         (and             (instance ?AIR AirTransportation)             (subProcess ?AIR ?SERVICE)             (instrument ?AIR ?AIRCRAFT)             (instance ?AIRCRAFT Aircraft))))	Transportation.kif 5042-5049	If X is an instance of Air Transportation Service, then there exist Y, Z such that Z is an instance of air transportation, Z is a subprocess of X, Y is an instrument for Z, and Y is an instance of aircraft
(=>     (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 ?MEM ?P                         (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)))))))))	naics.kif 7950-7975	If X is an instance of organization and air transportation industry is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exists W such that Y is an instance of selling (5) W is an instance of human (6) W is a patient of Y (7) W allows there exist V, U (8) T such that V is an instance of transportation (9) W is a patient of V or W possesses T (10) T is a patient of V (11) T is an instance of object (12) X possesses U (13) U is an instance of aircraft to perform task of the type Z

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners