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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - PassengerRailcar
more pictures...

appearance as argument number 1

(documentation PassengerRailcar EnglishLanguage "A train car that is designed to carry Humans.") Transportation.kif 2132-2133
(externalImage PassengerRailcar " 2/ 2d/ Go_Train_046.jpg") pictureList.kif 2504-2504
(externalImage PassengerRailcar " 3/ 31/ Shinkansen_500_Kyoto_2005-03-19.jpg") pictureList.kif 2612-2612
(externalImage PassengerRailcar " 7/ 79/ Transperth-466-468-McIver-150705.jpg") pictureList.kif 2611-2611
(externalImage PassengerRailcar " a/ a6/ Flytoget_Oslo_S.jpg") pictureList.kif 2610-2610
(externalImage PassengerRailcar " f/ fd/ DBpbzf_763.5_Remagen.jpg") pictureList.kif 2609-2609
(subclass PassengerRailcar PassengerVehicle) Transportation.kif 2131-2131 subclass PassengerRailcar and PassengerVehicle
(subclass PassengerRailcar RollingStock) Transportation.kif 2130-2130 subclass PassengerRailcar and RollingStock

appearance as argument number 2

(partition RollingStock PassengerRailcar FreightCar) Transportation.kif 2148-2148 partition RollingStock, PassengerRailcar and FreightCar
(subclass BusinessRailcar PassengerRailcar) Transportation.kif 2156-2156 subclass BusinessRailcar and PassengerRailcar
(subclass CrewDormCar PassengerRailcar) Transportation.kif 2169-2169 subclass CrewDormCar and PassengerRailcar
(subclass GalleryCar PassengerRailcar) Transportation.kif 2189-2189 subclass GalleryCar and PassengerRailcar
(subclass MotorRailcar PassengerRailcar) Transportation.kif 2211-2211 subclass MotorRailcar and PassengerRailcar
(termFormat ChineseLanguage PassengerRailcar "客运铁路车") domainEnglishFormat.kif 44671-44671
(termFormat ChineseTraditionalLanguage PassengerRailcar "客運鐵路車") domainEnglishFormat.kif 44670-44670
(termFormat EnglishLanguage PassengerRailcar "passenger railcar") domainEnglishFormat.kif 44669-44669


    (instance ?CAR PassengerRailcar)
        (KappaFn ?CARRY
                (instance ?CARRY Transportation)
                (exists (?HUMAN)
                        (instance ?HUMAN Human)
                        (patient ?CARRY ?HUMAN))))) instrument ?CAR))
Transportation.kif 2135-2144

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

Show without tree

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