Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
RollingStock(rolling stock)
|
| appearance as argument number 1 |
|
| (subclass RollingStock RailVehicle) | Transportation.kif 2290-2290 | Rolling stock is a subclass of rail vehicle |
| (documentation RollingStock EnglishLanguage "A single rail car. Any RailVehicle that is not composed of other RailVehicles.") | Transportation.kif 2292-2293 | Rolling stock is a subclass of rail vehicle |
| (partition RollingStock PassengerRailcar FreightCar) | Transportation.kif 2335-2335 | Rolling stock is exhaustively partitioned into passenger railcar and freight car |
| (externalImage RollingStock "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ CP_autorail_X301.jpg") | pictureList.kif 4939-4939 | Rolling stock is exhaustively partitioned into passenger railcar and freight car |
| (externalImage RollingStock "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Nagaragawa_Railway_Nagara1-5.JPG") | pictureList.kif 5075-5075 | Rolling stock is exhaustively partitioned into passenger railcar and freight car |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?TRAIN RollingStock) (not (exists (?X) (and (part ?X ?TRAIN) (instance ?X RollingStock) (not (equal ?X ?TRAIN)))))) |
Transportation.kif 2295-2303 | If X is an instance of rolling stock, then there doesn't exist Y such that Y is a part of X, Y is an instance of rolling stock, equal Y, and X |
| consequent |
|
|
| (=> (instance ?TRAIN Train) (exists (?X ?Y) (and (part ?X ?TRAIN) (part ?Y ?TRAIN) (instance ?X RollingStock) (instance ?Y RollingStock) (not (equal ?X ?Y))))) |
Transportation.kif 2214-2223 | If X is an instance of train, then All of the following hold: (1) there exist Y (2) Z such that Y is a part of X (3) Z is a part of X (4) Y is an instance of rolling stock (5) Z is an instance of rolling stock (6) equal Y (7) Z |
| (=> (instance ?TRAIN RollingStock) (not (exists (?X) (and (part ?X ?TRAIN) (instance ?X RollingStock) (not (equal ?X ?TRAIN)))))) |
Transportation.kif 2295-2303 | If X is an instance of rolling stock, then there doesn't exist Y such that Y is a part of X, Y is an instance of rolling stock, equal Y, and X |
| (=> (instance ?SHIP RailcarCarrierShip) (cargoType ?SHIP RollingStock)) |
Transportation.kif 2541-2543 | If X is an instance of railcar carrier ship, then rolling stock is a cargo type of X |
|