Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   SubwaySystem
|
|
|
| appearance as argument number 1 |
|
|
| (subclass SubwaySystem RailTransportationSystem) | Transportation.kif 318-318 | Subway is a subclass of rail transportation system |
| (documentation SubwaySystem EnglishLanguage "Any RailTransportationSystem that runs exclusively through Tunnels.") | Transportation.kif 319-320 | Subway is a subclass of rail transportation system |
| (externalImage SubwaySystem "http://upload.wikimedia.org/wikipedia/commons/ f/ fb/ Metro_Center_upper_level.jpg") | pictureList.kif 884-884 | Subway is a subclass of rail transportation system |
| (externalImage SubwaySystem "http://upload.wikimedia.org/wikipedia/commons/ 0/ 08/ London_Underground_Zone_1.png") | pictureList.kif 1502-1502 | Subway is a subclass of rail transportation system |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?S SubwaySystem) (routeInSystem ?P ?S)) (instance ?P Tunnel)) |
Transportation.kif 322-326 | If X is an instance of subway and X is a route in system of Y, then Y is an instance of tunnel |
| (=> (instance ?X SubwaySystem) (exists (?SURF) (and (surface ?SURF GeographicArea) (orientation ?X ?SURF Below)))) |
Transportation.kif 328-333 | If X is an instance of subway, then there exists Y such that Y is a surface of geographic area and X is below to Y |
| (=> (instance ?X SubwaySystem) (hasPurpose ?X (exists (?EV ?P) (and (instance ?EV Transportation) (instance ?P Human) (patient ?EV ?P) (eventLocated ?EV ?X))))) |
Transportation.kif 335-343 | If X is an instance of subway, then X has the purpose there exist Y, Z such that Y is an instance of transportation, Z is an instance of human, Z is a patient of Y, and Y is located at X |
|
