Runway - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Runway

Runway(runway)

appearance as argument number 1

(documentation Runway EnglishLanguage "Runway is the class of Transitways that are used for the takeoff and landing of Airplanes. Runways are Transitways for an intermodal transit, which begins with a land transit and ends with air transit, or vice versa. The Airspace immediately above (and adjacent to) a Runway is an AirTransitway.")	Transportation.kif 1371-1375
(subclass Runway LandTransitway)	Transportation.kif 1370-1370	Runway is a subclass of land transitway

appearance as argument number 2

(subclass PavedRunway Runway)	Transportation.kif 1384-1384	Paved runway is a subclass of runway
(subclass UnpavedRunway Runway)	Transportation.kif 1622-1622	Unpaved runway is a subclass of runway
(termFormat ChineseLanguage Runway "跑道")	domainEnglishFormat.kif 50634-50634	Unpaved runway is a subclass of runway
(termFormat ChineseTraditionalLanguage Runway "跑道")	domainEnglishFormat.kif 50633-50633	Unpaved runway is a subclass of runway
(termFormat EnglishLanguage Runway "runway")	domainEnglishFormat.kif 50632-50632	Unpaved runway is a subclass of runway

antecedent

(=> (and (instance ?RUNWAY Runway) (surface ?SURFACE ?RUNWAY) (instance ?SURFACE Asphalt)) (instance ?RUNWAY PavedRunway))	Transportation.kif 1396-1401	If a self connected object is an instance of runway and another self connected object is a surface of the self connected object and the other self connected object is an instance of asphalt, then the self connected object is an instance of paved runway
(=> (and (instance ?RUNWAY Runway) (surface ?SURFACE ?RUNWAY) (instance ?SURFACE Concrete)) (instance ?RUNWAY PavedRunway))	Transportation.kif 1403-1408	If a self connected object is an instance of runway and another self connected object is a surface of the self connected object and the other self connected object is an instance of concrete, then the self connected object is an instance of paved runway
(=> (instance ?RUNWAY Runway) (exists (?LENGTH) (and (instance ?LENGTH LengthMeasure) (length ?RUNWAY ?LENGTH))))	Transportation.kif 1377-1382	If a physical is an instance of runway, then there exists a length measure such that the length measure is an instance of length measure and the length of the physical is the length measure

consequent

(=> (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 ?T Taxiway) (hasPurpose ?T (exists (?R ?AA) (and (instance ?R Runway) (instance ?AA AirportApron) (connects ?T ?R ?AA)))))	Transportation.kif 1421-1428	If a physical is an instance of taxiway, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of runway and the other entity is an instance of airport apron and the physical connects the entity and the other entity
(=> (numberOfRunways ?A ?N) (exists (?R ?COLL) (and (instance ?R Runway) (part ?R ?A) (member ?R ?COLL) (memberCount ?COLL ?N))))	Transportation.kif 1442-1449	If an airport has an integer &umberOfRunways$"Runways", then there exist an object and a collection such that the object is an instance of runway and the object is a part of the airport and the object is a member of the collection and the integer is a member count of the collection

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