Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TransitTerminal
TransitTerminal(transit terminal)
more pictures...		bus_depot, bus_station, bus_terminal, coach_station, depot, subway_station, terminal, terminus

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 Transit terminal is a subclass of stationary artifact

appearance as argument number 2
-------------------------


(subclass Airport TransitTerminal) Transportation.kif 1265-1265 Airport is a subclass of transit terminal
(subclass Heliport TransitTerminal) Transportation.kif 1637-1637 Heliport is a subclass of transit terminal
(subclass MultimodalTransitPoint TransitTerminal) Transportation.kif 3686-3686 Multi modal transportation point is a subclass of transit terminal
(subclass RailwayTerminal TransitTerminal) Transportation.kif 2225-2225 Railway terminal is a subclass of transit terminal
(subclass TrainStation TransitTerminal) Transportation.kif 3676-3676 Train station is a subclass of transit terminal
(termFormat ChineseLanguage TransitTerminal "中转站") domainEnglishFormat.kif 58917-58917 Train station is a subclass of transit terminal
(termFormat ChineseTraditionalLanguage TransitTerminal "中轉站") domainEnglishFormat.kif 58916-58916 Train station is a subclass of transit terminal
(termFormat EnglishLanguage TransitTerminal "transit terminal") domainEnglishFormat.kif 58915-58915 Train station is a subclass of transit terminal
(typicalPart ParkingRegion TransitTerminal) Transportation.kif 3646-3646 A parking area is typically a part of a transit terminal

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners