PassengerRailcar - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(partition RollingStock PassengerRailcar FreightCar)	Transportation.kif 2309-2309	Rolling stock is exhaustively partitioned into passenger railcar and freight car
(subclass BusinessRailcar PassengerRailcar)	Transportation.kif 2317-2317	Business railcar is a subclass of passenger railcar
(subclass CrewDormCar PassengerRailcar)	Transportation.kif 2330-2330	Crew dorm car is a subclass of passenger railcar
(subclass GalleryCar PassengerRailcar)	Transportation.kif 2350-2350	Gallery car is a subclass of passenger railcar
(subclass MotorRailcar PassengerRailcar)	Transportation.kif 2372-2372	Motor railcar is a subclass of passenger railcar
(termFormat ChineseLanguage PassengerRailcar "客运铁路车")	domainEnglishFormat.kif 44732-44732	Motor railcar is a subclass of passenger railcar
(termFormat ChineseTraditionalLanguage PassengerRailcar "客運鐵路車")	domainEnglishFormat.kif 44731-44731	Motor railcar is a subclass of passenger railcar
(termFormat EnglishLanguage PassengerRailcar "passenger railcar")	domainEnglishFormat.kif 44730-44730	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 2296-2306

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: