Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PassengerRailcar
PassengerRailcar(passenger railcar)
more pictures...
carriage, coach, passenger_car

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(partition RollingStock PassengerRailcar FreightCar) Transportation.kif 2130-2130 Rolling stock is exhaustively partitioned into passenger railcar and freight car
(subclass BusinessRailcar PassengerRailcar) Transportation.kif 2138-2138 Business railcar is a subclass of passenger railcar
(subclass CrewDormCar PassengerRailcar) Transportation.kif 2151-2151 Crew dorm car is a subclass of passenger railcar
(subclass GalleryCar PassengerRailcar) Transportation.kif 2171-2171 Gallery car is a subclass of passenger railcar
(subclass MotorRailcar PassengerRailcar) Transportation.kif 2193-2193 Motor railcar is a subclass of passenger railcar
(termFormat ChineseLanguage PassengerRailcar "客运铁路车") domainEnglishFormat.kif 44608-44608
(termFormat ChineseTraditionalLanguage PassengerRailcar "客運鐵路車") domainEnglishFormat.kif 44607-44607
(termFormat EnglishLanguage PassengerRailcar "passenger railcar") domainEnglishFormat.kif 44606-44606

antecedent
-------------------------


(=>
    (instance ?CAR PassengerRailcar)
    (capability
        (KappaFn ?CARRY
            (and
                (instance ?CARRY Transportation)
                (exists (?HUMAN)
                    (and
                        (instance ?HUMAN Human)
                        (patient ?CARRY ?HUMAN))))) instrument ?CAR))
Transportation.kif 2117-2126


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