Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
RailTransportationSystem(rail transportation system)
|
| appearance as argument number 1 |
|
| (subclass RailTransportationSystem TransitSystem) | Transportation.kif 2230-2230 | Rail transportation system is a subclass of transit system |
| (documentation RailTransportationSystem EnglishLanguage "RailTransportationSystem is the subclass of TransitSystems whose routes are Railways.") | Transportation.kif 2231-2232 | Rail transportation system is a subclass of transit system |
| (externalImage RailTransportationSystem "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 49/ Station_Stalingrad.jpg") | pictureList.kif 964-964 | Rail transportation system is a subclass of transit system |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?R RailTransportationSystem) (routeInSystem ?P ?R)) (instance ?P Railway)) |
Transportation.kif 2234-2238 | If X is an instance of rail transportation system and X is a route in system of Y, then Y is an instance of railway |
|