Airport - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Airport

Airport(airport)

aerodrome, air_terminal, airdrome, airfield, airport, airport_terminal, airstrip, drome, field, flight_strip, flying_field, landing_field, landing_strip, strip

appearance as argument number 1

(documentation Airport EnglishLanguage "Airport is the subclass of TransitTerminals for Airplanes (fixed-wing Aircraft).")	Transportation.kif 1268-1269
(externalImage Airport "http://upload.wikimedia.org/wikipedia/commons/4/ 4e/ Flughafen_Frankfurt_am_Main.JPG")	pictureList.kif 1627-1627
(externalImage Airport "http://upload.wikimedia.org/wikipedia/commons/9/ 90/ HFX_Airport_4.jpg")	pictureList.kif 2081-2081
(externalImage Airport "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 0f/ Airport_overhead.jpg/ 180px-Airport_overhead.jpg")	pictureList.kif 1022-1022
(subclass Airport AirTransitway)	Transportation.kif 1266-1266	Airport is a subclass of air transitway
(subclass Airport LandTransitway)	Transportation.kif 1267-1267	Airport is a subclass of land transitway
(subclass Airport TransitTerminal)	Transportation.kif 1265-1265	Airport is a subclass of transit terminal

appearance as argument number 2

(subclass MilitaryAirport Airport)	MilitaryProcesses.kif 2785-2785	Military airport is a subclass of airport
(termFormat ChineseLanguage Airport "飞机场")	domainEnglishFormat.kif 6226-6226	Military airport is a subclass of airport
(termFormat ChineseTraditionalLanguage Airport "飛機場")	domainEnglishFormat.kif 6225-6225	Military airport is a subclass of airport
(termFormat EnglishLanguage Airport "airport")	domainEnglishFormat.kif 6224-6224	Military airport is a subclass of airport

appearance as argument number 3

(domain numberOfAprons 1 Airport)	Transportation.kif 1295-1295	The number 1 argument of number of aprons is an instance of airport
(domain numberOfRunways 1 Airport)	Transportation.kif 1437-1437	The number 1 argument of number of runways is an instance of airport
(domain numberOfTaxiways 1 Airport)	Transportation.kif 1454-1454	The number 1 argument of number of taxiways is an instance of airport

antecedent

(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT AirportWithPavedRunway)) (exists (?RUNWAY) (and (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT))))	Transportation.kif 1486-1493	If an object is an instance of airport and airport with paved runway is an attribute of the object, then there exists another object such that the other object is an instance of paved runway and the other object is a part of the object
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT AirportWithUnpavedRunway)) (exists (?RUNWAY) (and (instance ?RUNWAY UnpavedRunway) (part ?RUNWAY ?AIRPORT))))	Transportation.kif 1500-1507	If an object is an instance of airport and airport with unpaved runway is an attribute of the object, then there exists another object such that the other object is an instance of unpaved runway and the other object is a part of the object
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT LongRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (or (greaterThanOrEqualTo ?LENGTH 2438) (lessThanOrEqualTo ?LENGTH 3047)))))	Transportation.kif 1574-1586	If an object is an instance of airport and long runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is greater than or equal to 2438 or the real number is less than or equal to 3047
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT MediumLengthRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (or (greaterThanOrEqualTo ?LENGTH 1524) (lessThanOrEqualTo ?LENGTH 2437)))))	Transportation.kif 1555-1567	If an object is an instance of airport and medium length runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is greater than or equal to 1524 or the real number is less than or equal to 2437
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT ShortRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (or (greaterThanOrEqualTo ?LENGTH 914) (lessThanOrEqualTo ?LENGTH 1523)))))	Transportation.kif 1536-1548	If an object is an instance of airport and short runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is greater than or equal to 914 or the real number is less than or equal to 1523
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT VeryLongRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (greaterThan ?LENGTH 3047))))	Transportation.kif 1593-1603	If an object is an instance of airport and very long runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is greater than 3047
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT VeryShortRunwayAirport)) (exists (?RUNWAY ?LENGTH) (and (instance ?RUNWAY Runway) (part ?RUNWAY ?AIRPORT) (length ?RUNWAY (MeasureFn ?LENGTH Meter)) (lessThan ?LENGTH 914))))	Transportation.kif 1520-1529	If an object is an instance of airport and very short runway airport is an attribute of the object, then there exist another object and a real number such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the real number meter(s) and the real number is less than 914
(=> (instance ?AIRPORT Airport) (trafficableForTrafficType ?AIRPORT Airplane))	Transportation.kif 3146-3148	If an object is an instance of airport, then airplane is a trafficable for traffic type of the object

consequent

(<=> (totalFacilityTypeInArea ?AREA (ExtensionFn AirportWithPavedRunway) ?COUNT) (exists (?AIRPORT ?RUNWAY) (cardinality (KappaFn ?AIRPORT (and (instance ?AIRPORT Airport) (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT) (located ?AIRPORT ?AREA))) ?COUNT)))	Transportation.kif 1349-1359	A geographic area is total facility type in area the class corresponding to airport with paved runway for a nonnegative integer if and only if there exist a symbolic string and an entity such that the nonnegative integer is a cardinality of the class described by the symbolic string
(=> (and (totalFacilityTypeInArea ?AREA (ExtensionFn AirportWithUnpavedRunway) ?COUNT) (greaterThan ?COUNT 0)) (exists (?AIRPORT ?RUNWAY) (and (instance ?AIRPORT Airport) (instance ?RUNWAY UnpavedRunway) (part ?RUNWAY ?AIRPORT) (located ?AIRPORT ?AREA))))	Transportation.kif 1611-1620	If a geographic area is total facility type in area the class corresponding to airport with unpaved runway for a nonnegative integer and the nonnegative integer is greater than 0, then there exist an object and another object such that the object is an instance of airport and the other object is an instance of unpaved runway and the other object is a part of the object and the object is located at the geographic area
(=> (instance ?AA AirportApron) (exists (?A) (and (instance ?A Airport) (located ?AA ?A))))	Transportation.kif 1275-1280	If a physical is an instance of airport apron, then there exists an object such that the object is an instance of airport and the physical is located at the object
(=> (instance ?S AirportStagingArea) (exists (?A) (and (instance ?A Airport) (located ?S ?A))))	Transportation.kif 1311-1316	If a physical is an instance of airport staging area, then there exists an object such that the object is an instance of airport and the physical is located at the object
(=> (instance ?SA SecureAirfield) (exists (?A) (and (instance ?A Airport) (attribute ?A MilitarilySecure))))	MilitaryProcesses.kif 2886-2891	If an entity is an instance of secure airfield, then there exists an object such that the object is an instance of airport and militarily secure is an attribute of the object
(=> (instance ?SVC AirportShuttleService) (exists (?AIRPORT ?TRANSPORT) (and (instance ?AIRPORT Airport) (subProcess ?TRANSPORT ?SVC) (instance ?TRANSPORT Transportation) (or (destination ?TRANSPORT ?AIRPORT) (origin ?TRANSPORT ?AIRPORT)))))	Hotel.kif 2071-2080	If a process is an instance of airport shuttle, then there exist an object and another process such that the object is an instance of airport and the other process is a subprocess of the process and the other process is an instance of transportation and the other process ends up at the object or the other process originates at the object
(=> (instance ?T Taxiway) (exists (?A) (and (instance ?A Airport) (located ?T ?A))))	Transportation.kif 1414-1419	If a physical is an instance of taxiway, then there exists an object such that the object is an instance of airport and the physical is located at the object
(=> (totalFacilityTypeInArea ?AREA (ExtensionFn AirportWithPavedRunway) ?COUNT) (exists (?AIRPORT ?RUNWAY) (and (instance ?AIRPORT Airport) (instance ?RUNWAY PavedRunway) (part ?RUNWAY ?AIRPORT) (located ?AIRPORT ?AREA))))	Transportation.kif 1361-1368	If a geographic area is total facility type in area the class corresponding to airport with paved runway for a nonnegative integer, then there exist an object and another object such that the object is an instance of airport and the other object is an instance of paved runway and the other object is a part of the object and the object is located at the geographic area

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