AirportWithUnpavedRunway
|
|
appearance as argument number 1 |
(documentation AirportWithUnpavedRunway EnglishLanguage "AirportWithUnpavedRunway is an AirportClassification attribute used to describe an airport whose longest runway is an UnpavedRunway.") | Transportation.kif 1367-1369 | |
(instance AirportWithUnpavedRunway AirportByRunwaySurface) | Transportation.kif 1366-1366 | AirportWithUnpavedRunway e' uma instancia de AirportByRunwaySurface |
appearance as argument number 2 |
(termFormat ChineseLanguage AirportWithUnpavedRunway "机场有着未铺砌的跑道") | domainEnglishFormat.kif 6252-6252 | |
(termFormat ChineseTraditionalLanguage AirportWithUnpavedRunway "機場有著未鋪砌的跑道") | domainEnglishFormat.kif 6251-6251 | |
(termFormat EnglishLanguage AirportWithUnpavedRunway "airport with unpaved runway") | domainEnglishFormat.kif 6250-6250 |
antecedent |
(=> (and (instance ?AIRPORT Airport) (attribute ?AIRPORT AirportWithUnpavedRunway)) (exists (?RUNWAY) (and (instance ?RUNWAY UnpavedRunway) (part ?RUNWAY ?AIRPORT)))) |
Transportation.kif 1371-1378 | |
(=> (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 1482-1491 |
|