|
|
  PeacekeepingOperation
|
|
|
| appearance as argument number 1 |
|
|
| (documentation UnpavedRunway EnglishLanguage "UnpavedRunways include Runways with grass, dirt, sand, or gravel surfaces. Contrast with PavedRunway.") | Transportation.kif 1494-1495 | |
| (externalImage UnpavedRunway "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ Foligno_airport_runway.jpg") | pictureList.kif 4840-4840 | |
| (subclass UnpavedRunway Runway) | Transportation.kif 1493-1493 | 子類 未鋪砌的跑道 and 跑道 |
| appearance as argument number 2 |
|
|
| (disjoint PavedRunway UnpavedRunway) | Transportation.kif 1500-1500 | 不相交的 鋪好的跑道 and 未鋪砌的跑道 |
| (termFormat ChineseLanguage UnpavedRunway "未铺砌的跑道") | domainEnglishFormat.kif 60526-60526 | |
| (termFormat ChineseTraditionalLanguage UnpavedRunway "未鋪砌的跑道") | domainEnglishFormat.kif 60525-60525 | |
| (termFormat EnglishLanguage UnpavedRunway "unpaved runway") | domainEnglishFormat.kif 60524-60524 |
| antecedent |
|
|
| (=> (instance ?UR UnpavedRunway) (attribute ?UR Unpaved)) |
Transportation.kif 1496-1498 |
| consequent |
|
|
| (=> (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 |
|
|
|
|
