Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Heliport(heliport)
|  | heliport |
| appearance as argument number 1 |
|
|
| (subclass Heliport TransitTerminal) | Transportation.kif 1653-1653 | Heliport is a subclass of transit terminal |
| (documentation Heliport EnglishLanguage "Heliport is a TransitTerminal designed for the takeoff and landing of Helicopters.") | Transportation.kif 1656-1657 | Heliport is a subclass of transit terminal |
| (externalImage Heliport "http://articulatesoftware.com/SUMOpictures/signs_symbol/ BW/ BW_2/ heliport.png") | pictureList.kif 498-498 | Heliport is a subclass of transit terminal |
| appearance as argument number 2 |
|
|
| (names "heliport" Heliport) | Transportation.kif 1654-1654 | Heliport has name "heliport" |
| (names "helipad" Heliport) | Transportation.kif 1655-1655 | Heliport has name "helipad" |
| (termFormat EnglishLanguage Heliport "heliport") | domainEnglishFormat.kif 27899-27899 | Heliport has name "helipad" |
| (termFormat ChineseTraditionalLanguage Heliport "直升機場") | domainEnglishFormat.kif 27900-27900 | Heliport has name "helipad" |
| (termFormat ChineseLanguage Heliport "直升机场") | domainEnglishFormat.kif 27901-27901 | Heliport has name "helipad" |
| antecedent |
|
|
| (=> (instance ?HELO Heliport) (trafficableForTrafficType ?HELO Helicopter)) |
Transportation.kif 1659-1661 | If X is an instance of heliport, then helicopter is a trafficable for traffic type of X |
|