| AirTransitway
| |
| appearance as argument number 1 |
|
|
| (documentation AirTransitway EnglishLanguage "The subclass of Transitways that are through the EarthsAtmosphere.") | Transportation.kif 1237-1238 | |
| (externalImage AirTransitway "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 13/ FGSQE.jpg/ 250px-FGSQE.jpg") | pictureList.kif 1024-1024 | |
| (subclass AirTransitway Transitway) | Transportation.kif 1236-1236 |
| appearance as argument number 2 |
|
|
| (subclass Airport AirTransitway) | Transportation.kif 1255-1255 | |
| (termFormat ChineseLanguage AirTransitway "空中运输通道") | domainEnglishFormat.kif 6305-6305 | |
| (termFormat ChineseTraditionalLanguage AirTransitway "空中運輸通道") | domainEnglishFormat.kif 6304-6304 | |
| (termFormat EnglishLanguage AirTransitway "air transitway") | domainEnglishFormat.kif 6303-6303 |
| antecedent |
|
|
| (=> (instance ?WAY AirTransitway) (hasPurpose ?WAY (exists (?TRANSPORT) (and (instance ?TRANSPORT Transportation) (path ?TRANSPORT ?WAY) (partlyLocated ?WAY EarthsAtmosphere))))) |
Transportation.kif 1239-1246 |
| consequent |
|
|
| (=> (and (instance ?T AirTransportation) (path ?T ?P)) (instance ?P AirTransitway)) |
Transportation.kif 1248-1252 |
|
|
|