|
|
   SubwaySystem
|
|
|
| appearance as argument number 1 |
|
|
| (documentation SubwaySystem EnglishLanguage "Any RailTransportationSystem that runs exclusively through Tunnels.") | Transportation.kif 319-320 | |
| (externalImage SubwaySystem "http://upload.wikimedia.org/wikipedia/commons/ 0/ 08/ London_Underground_Zone_1.png") | pictureList.kif 1502-1502 | |
| (externalImage SubwaySystem "http://upload.wikimedia.org/wikipedia/commons/ f/ fb/ Metro_Center_upper_level.jpg") | pictureList.kif 884-884 | |
| (subclass SubwaySystem RailTransportationSystem) | Transportation.kif 318-318 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SubwaySystem "地铁系统") | domainEnglishFormat.kif 55881-55881 | |
| (termFormat ChineseTraditionalLanguage SubwaySystem "地鐵系統") | domainEnglishFormat.kif 55880-55880 | |
| (termFormat EnglishLanguage SubwaySystem "subway system") | domainEnglishFormat.kif 55878-55878 | |
| (termFormat EnglishLanguage SubwaySystem "subway") | domainEnglishFormat.kif 55879-55879 |
| antecedent |
|
|
| (=> (and (instance ?S SubwaySystem) (routeInSystem ?P ?S)) (instance ?P Tunnel)) |
Transportation.kif 322-326 | |
| (=> (instance ?X SubwaySystem) (exists (?SURF) (and (surface ?SURF GeographicArea) (orientation ?X ?SURF Below)))) |
Transportation.kif 328-333 | |
| (=> (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 |
|
|
|
