Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   WindowsOS1
|
|
|
| appearance as argument number 1 |
|
|
| (subclass TransitTerminal StationaryArtifact) | Transportation.kif 4187-4187 | Transit terminal is a subclass of stationary artifact |
| (documentation TransitTerminal EnglishLanguage "A TransitTerminal is a place where travelers 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 4188-4192 | Transit terminal is a subclass of stationary artifact |
| (externalImage TransitTerminal "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ Rotterdam_Centraal_1.jpg") | pictureList.kif 10301-10301 | Transit terminal is a subclass of stationary artifact |
| (externalImage TransitTerminal "http://upload.wikimedia.org/wikipedia/commons/ b/ b6/ B10M_Mk4_interior.JPG") | pictureList.kif 12025-12025 | Transit terminal is a subclass of stationary artifact |
| (externalImage TransitTerminal "http://upload.wikimedia.org/wikipedia/commons/ 5/ 59/ Ne15_buangkok.jpg") | pictureList.kif 12026-12026 | Transit terminal is a subclass of stationary artifact |
| (externalImage TransitTerminal "http://upload.wikimedia.org/wikipedia/commons/ 3/ 39/ Ne13kovan.jpg") | pictureList.kif 12027-12027 | Transit terminal is a subclass of stationary artifact |
| (externalImage TransitTerminal "http://upload.wikimedia.org/wikipedia/commons/ 5/ 56/ VSO_SBS9837U_22.jpg") | pictureList.kif 12028-12028 | Transit terminal is a subclass of stationary artifact |
| (externalImage TransitTerminal "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5f/ Somerset_Bridlewood_bus_stop_1.jpg") | pictureList.kif 12029-12029 | Transit terminal is a subclass of stationary artifact |
| (externalImage TransitTerminal "http://upload.wikimedia.org/wikipedia/commons/ e/ ef/ Beaucoup_passengers_at_nf_transit_terminal.jpg") | pictureList.kif 12030-12030 | Transit terminal is a subclass of stationary artifact |
| (externalImage TransitTerminal "http://upload.wikimedia.org/wikipedia/commons/ 9/ 91/ 3d_letters_and_plaque_nf_transit_terminal.jpg") | pictureList.kif 12031-12031 | Transit terminal is a subclass of stationary artifact |
| (externalImage TransitTerminal "http://upload.wikimedia.org/wikipedia/commons/ a/ a7/ Greyhound_bus_heading_west_on_bridge.jpg") | pictureList.kif 12032-12032 | Transit terminal is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?TERM TransitTerminal) (hasPurpose ?TERM (exists (?T ?P ?TIME) (and (instance ?T Translocation) (locatedAtTime ?P ?TIME ?TERM) (or (passenger ?T ?P) (conveyance ?T ?P)) (or (equal ?TIME (BeginFn (WhenFn ?T))) (equal ?TIME (EndFn (WhenFn ?T)))))))) |
Transportation.kif 4196-4208 | If X is an instance of transit terminal, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of translocation (3) Z located at time W for X (4) Z is a passenger in Y, Z is a conveyance during Y (5) equal W (6) the beginning of the time of existence of Y, or equal W (7) the end of the time of existence of Y |
| (=> (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 4210-4220 | If X is an instance of transit terminal, then X has the purpose there exist Y, Z such that Z is a patient of Y, Z is an instance of transportation device, Y is an instance of arriving or Y is an instance of leaving, and Y is located at X |
|
