Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| RailwayTerminal(railway terminal) |
| appearance as argument number 1 |
|
| (subclass RailwayTerminal TransitTerminal) | Transportation.kif 2245-2245 | Railway terminal is a subclass of transit terminal |
| (documentation RailwayTerminal EnglishLanguage "RailwayTerminal is the subclass of TransitTerminals designed for Trains. A RailwayTerminal includes all the RailroadTrack and any outbuildings or other related structure in the terminal, as well as the TrainStation (if there is one).") | Transportation.kif 2246-2249 | Railway terminal is a subclass of transit terminal |
| appearance as argument number 2 |
|
|
| (typicalPart RailroadTrack RailwayTerminal) | Transportation.kif 2251-2251 | A railroad track is typically a part of a railway terminal |
| (termFormat EnglishLanguage RailwayTerminal "railway terminal") | domainEnglishFormat.kif 48675-48675 | A railroad track is typically a part of a railway terminal |
| (termFormat ChineseTraditionalLanguage RailwayTerminal "鐵路樞紐") | domainEnglishFormat.kif 48676-48676 | A railroad track is typically a part of a railway terminal |
| (termFormat ChineseLanguage RailwayTerminal "铁路枢纽") | domainEnglishFormat.kif 48677-48677 | A railroad track is typically a part of a railway terminal |
| antecedent |
|
|
| (=> (instance ?R RailwayTerminal) (trafficableForTrafficType ?R Train)) |
Transportation.kif 2253-2255 | If X is an instance of railway terminal, then train is a trafficable for traffic type of X |
| consequent |
|
|
| (=> (instance ?TS TrainStation) (exists (?RT) (and (instance ?RT RailwayTerminal) (located ?TS ?RT)))) |
Transportation.kif 4224-4229 | If X is an instance of train station, then there exists Y such that Y is an instance of railway terminal and X is located at Y |
|