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 RollingStock) Transportation.kif 2130-2130

appearance as argument number 2

(partition RollingStock PassengerRailcar FreightCar) Transportation.kif 2148-2148
(subclass BusinessRailcar PassengerRailcar) Transportation.kif 2156-2156
(subclass CrewDormCar PassengerRailcar) Transportation.kif 2169-2169
(subclass GalleryCar PassengerRailcar) Transportation.kif 2189-2189
(subclass MotorRailcar PassengerRailcar) Transportation.kif 2211-2211
(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