RollingStock - Sigma Knowledge base Browser

appearance as argument number 1

(documentation RollingStock EnglishLanguage "A single rail car. Any RailVehicle that is not composed of other RailVehicles.")	Transportation.kif 2272-2273
(externalImage RollingStock "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ CP_autorail_X301.jpg")	pictureList.kif 4939-4939
(externalImage RollingStock "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Nagaragawa_Railway_Nagara1-5.JPG")	pictureList.kif 5075-5075
(partition RollingStock PassengerRailcar FreightCar)	Transportation.kif 2315-2315	Rolling stock is exhaustively partitioned into passenger railcar and freight car
(subclass RollingStock RailVehicle)	Transportation.kif 2270-2270	Rolling stock is a subclass of rail vehicle

appearance as argument number 2

(disjoint RoadVehicle RollingStock)	Transportation.kif 2271-2271	Road vehicle is disjoint from rolling stock
(subclass CabCar RollingStock)	Transportation.kif 2325-2325	Cab car is a subclass of rolling stock
(subclass ElectrifiedRailwayCar RollingStock)	Transportation.kif 2340-2340	Electrified railway car is a subclass of rolling stock
(subclass FreightCar RollingStock)	Transportation.kif 2314-2314	Freight car is a subclass of rolling stock
(subclass HeadEndCar RollingStock)	Transportation.kif 2360-2360	Head end car is a subclass of rolling stock
(subclass Locomotive RollingStock)	Transportation.kif 2290-2290	Locomotive is a subclass of rolling stock
(subclass LocomotiveCoalCar RollingStock)	Transportation.kif 2369-2369	Locomotive coal car is a subclass of rolling stock
(subclass MotorizedRailwayCar RollingStock)	Transportation.kif 2285-2285	Motorized railway car is a subclass of rolling stock
(subclass OutfitCar RollingStock)	Transportation.kif 2331-2331	Outfit car is a subclass of rolling stock
(subclass PassengerRailcar RollingStock)	Transportation.kif 2297-2297	Passenger railcar is a subclass of rolling stock
(subclass PrivateRailcar RollingStock)	Transportation.kif 2390-2390	Private railcar is a subclass of rolling stock
(subclass Railcar RollingStock)	Transportation.kif 2220-2220	Railcar is a subclass of rolling stock
(subclass ScaleTestCar RollingStock)	Transportation.kif 2398-2398	Scale test car is a subclass of rolling stock
(subclass Streetcar RollingStock)	Transportation.kif 2383-2383	Streetcar is a subclass of rolling stock
(termFormat ChineseLanguage RollingStock "波荡股")	domainEnglishFormat.kif 50333-50333	Streetcar is a subclass of rolling stock
(termFormat ChineseTraditionalLanguage RollingStock "波蕩股")	domainEnglishFormat.kif 50332-50332	Streetcar is a subclass of rolling stock
(termFormat EnglishLanguage RollingStock "rolling stock")	domainEnglishFormat.kif 50331-50331	Streetcar is a subclass of rolling stock

antecedent

(=>
    (instance ?TRAIN RollingStock)
    (not
        (exists (?X)
            (and
                (part ?X ?TRAIN)
                (instance ?X RollingStock)
                (not
                    (equal ?X ?TRAIN))))))

Transportation.kif 2275-2283

If an object is an instance of rolling stock,
then there doesn't exist another object such that the other object is a part of the object and the other object is an instance of rolling stock and the other object is not equal to the object

consequent

(=> (instance ?SHIP RailcarCarrierShip) (cargoType ?SHIP RollingStock))	Transportation.kif 2530-2532	If a transportation device is an instance of railcar carrier ship, then rolling stock is a cargo type of the transportation device
(=> (instance ?TRAIN RollingStock) (not (exists (?X) (and (part ?X ?TRAIN) (instance ?X RollingStock) (not (equal ?X ?TRAIN))))))	Transportation.kif 2275-2283	If an object is an instance of rolling stock, then there doesn't exist another object such that the other object is a part of the object and the other object is an instance of rolling stock and the other object is not equal to the object
(=> (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 2194-2203	If an object is an instance of train, then there exist another object and a third object such that the other object is a part of the object and the third object is a part of the object and the other object is an instance of rolling stock and the third object is an instance of rolling stock and the other object is not equal to the third object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: