PassengerRailcar - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PassengerRailcar EnglishLanguage "A train car that is designed to carry Humans.")	Transportation.kif 2299-2300
(externalImage PassengerRailcar "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2d/ Go_Train_046.jpg")	pictureList.kif 2502-2502
(externalImage PassengerRailcar "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ Shinkansen_500_Kyoto_2005-03-19.jpg")	pictureList.kif 2610-2610
(externalImage PassengerRailcar "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ Transperth-466-468-McIver-150705.jpg")	pictureList.kif 2609-2609
(externalImage PassengerRailcar "http://upload.wikimedia.org/wikipedia/commons/ a/ a6/ Flytoget_Oslo_S.jpg")	pictureList.kif 2608-2608
(externalImage PassengerRailcar "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ DBpbzf_763.5_Remagen.jpg")	pictureList.kif 2607-2607
(subclass PassengerRailcar PassengerVehicle)	Transportation.kif 2298-2298	Passenger railcar is a subclass of passenger vehicle
(subclass PassengerRailcar RollingStock)	Transportation.kif 2297-2297	Passenger railcar is a subclass of rolling stock

appearance as argument number 2

(partition RollingStock PassengerRailcar FreightCar)	Transportation.kif 2315-2315	Rolling stock is exhaustively partitioned into passenger railcar and freight car
(subclass BusinessRailcar PassengerRailcar)	Transportation.kif 2323-2323	Business railcar is a subclass of passenger railcar
(subclass CrewDormCar PassengerRailcar)	Transportation.kif 2336-2336	Crew dorm car is a subclass of passenger railcar
(subclass GalleryCar PassengerRailcar)	Transportation.kif 2356-2356	Gallery car is a subclass of passenger railcar
(subclass MotorRailcar PassengerRailcar)	Transportation.kif 2378-2378	Motor railcar is a subclass of passenger railcar
(termFormat ChineseLanguage PassengerRailcar "客运铁路车")	domainEnglishFormat.kif 44725-44725	Motor railcar is a subclass of passenger railcar
(termFormat ChineseTraditionalLanguage PassengerRailcar "客運鐵路車")	domainEnglishFormat.kif 44724-44724	Motor railcar is a subclass of passenger railcar
(termFormat EnglishLanguage PassengerRailcar "passenger railcar")	domainEnglishFormat.kif 44723-44723	Motor railcar is a subclass of passenger railcar

antecedent

(=>
    (instance ?CAR PassengerRailcar)
    (exists (?CARRY)
        (capability
            (KappaFn ?CARRY
                (and
                    (instance ?CARRY Transportation)
                    (exists (?HUMAN)
                        (and
                            (instance ?HUMAN Human)
                            (patient ?CARRY ?HUMAN))))) instrument ?CAR)))

Transportation.kif 2302-2312

If an object is an instance of passenger railcar,
then there exists the objectRY such that the object is capable of doing the class described by the objectRY as a instrument

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: