more pictures...
| TransitTerminal
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation TransitTerminal EnglishLanguage "A TransitTerminal is a place where travellers or transportation devices begin or end their journeys, or where passengers and/ or goods may be transferred. At a terminal, TransportationDevices may be received, assigned, sent out, or stored.") | Transportation.kif 3641-3645 | |
| (externalImage TransitTerminal "http://upload.wikimedia.org/wikipedia/commons/ 3/ 39/ Ne13kovan.jpg") | pictureList.kif 12027-12027 | |
| (externalImage TransitTerminal "http://upload.wikimedia.org/wikipedia/commons/ 5/ 56/ VSO_SBS9837U_22.jpg") | pictureList.kif 12028-12028 | |
| (externalImage TransitTerminal "http://upload.wikimedia.org/wikipedia/commons/ 5/ 59/ Ne15_buangkok.jpg") | pictureList.kif 12026-12026 | |
| (externalImage TransitTerminal "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5f/ Somerset_Bridlewood_bus_stop_1.jpg") | pictureList.kif 12029-12029 | |
| (externalImage TransitTerminal "http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ 3d_letters_and_plaque_nf_transit_terminal.jpg") | pictureList.kif 12031-12031 | |
| (externalImage TransitTerminal "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Greyhound_bus_heading_west_on_bridge.jpg") | pictureList.kif 12032-12032 | |
| (externalImage TransitTerminal "http://upload.wikimedia.org/wikipedia/commons/ b/ b6/ B10M_Mk4_interior.JPG") | pictureList.kif 12025-12025 | |
| (externalImage TransitTerminal "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ Rotterdam_Centraal_1.jpg") | pictureList.kif 10301-10301 | |
| (externalImage TransitTerminal "http://upload.wikimedia.org/wikipedia/commons/ e/ ef/ Beaucoup_passengers_at_nf_transit_terminal.jpg") | pictureList.kif 12030-12030 | |
| (subclass TransitTerminal StationaryArtifact) | Transportation.kif 3640-3640 |
| appearance as argument number 2 |
|
|
| (subclass Airport TransitTerminal) | Transportation.kif 1265-1265 | |
| (subclass Heliport TransitTerminal) | Transportation.kif 1637-1637 | |
| (subclass MultimodalTransitPoint TransitTerminal) | Transportation.kif 3686-3686 | |
| (subclass RailwayTerminal TransitTerminal) | Transportation.kif 2225-2225 | |
| (subclass TrainStation TransitTerminal) | Transportation.kif 3676-3676 | |
| (termFormat ChineseLanguage TransitTerminal "中转站") | domainEnglishFormat.kif 58917-58917 | |
| (termFormat ChineseTraditionalLanguage TransitTerminal "中轉站") | domainEnglishFormat.kif 58916-58916 | |
| (termFormat EnglishLanguage TransitTerminal "transit terminal") | domainEnglishFormat.kif 58915-58915 | |
| (typicalPart ParkingRegion TransitTerminal) | Transportation.kif 3646-3646 |
| antecedent |
|
|
| (=> (instance ?TERM TransitTerminal) (hasPurpose ?TERM (exists (?T ?D) (and (patient ?T ?D) (instance ?D TransportationDevice) (or (instance ?T Arriving) (instance ?T Leaving)) (eventLocated ?T ?TERM))))) |
Transportation.kif 3664-3674 | |
| (=> (instance ?TERM TransitTerminal) (hasPurpose ?TERM (exists (?T ?P ?) (and (instance ?T Translocation) (locatedAtTime ?P ?TIME ?TERM) (or (passenger ?T ?P) (conveyance ?T ?P)) (equal ?TIME (or (BeginFn (WhenFn ?T)) (EndFn (WhenFn ?T)))))))) |
Transportation.kif 3649-3662 |
|
|
|