Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
RoadTransportationSystem(road transportation system)
|
| appearance as argument number 1 |
|
| (subclass RoadTransportationSystem TransitSystem) | Transportation.kif 2280-2280 | Road transportation system is a subclass of transit system |
| (documentation RoadTransportationSystem EnglishLanguage "RoadTransportationSystem is the subclass of TransportationSystems whose routes are Roadways.") | Transportation.kif 2281-2282 | Road transportation system is a subclass of transit system |
| (externalImage RoadTransportationSystem "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 11/ North_lantau_highway.jpg") | pictureList.kif 968-968 | Road transportation system is a subclass of transit system |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?S RoadTransportationSystem) (routeInSystem ?P ?S)) (instance ?P Roadway)) |
Transportation.kif 2284-2288 | If X is an instance of road transportation system and X is a route in system of Y, then Y is an instance of roadway |
|