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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PassengerRailcar

Sigma KEE - PassengerRailcar
PassengerRailcar(客运铁路车)
more pictures...

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


(documentation PassengerRailcar EnglishLanguage "A train car that is designed to carry Humans.") Transportation.kif 2130-2131
(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 2129-2129 客运铁路车乘用车subclass
(subclass PassengerRailcar RollingStock) Transportation.kif 2128-2128 客运铁路车波荡股subclass

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


(partition RollingStock PassengerRailcar FreightCar) Transportation.kif 2146-2146 波荡股 详尽无遗地 partition客运铁路车货车
(subclass BusinessRailcar PassengerRailcar) Transportation.kif 2154-2154 商务铁路车客运铁路车subclass
(subclass CrewDormCar PassengerRailcar) Transportation.kif 2167-2167 船员宿舍车客运铁路车subclass
(subclass GalleryCar PassengerRailcar) Transportation.kif 2187-2187 画廊车客运铁路车subclass
(subclass MotorRailcar PassengerRailcar) Transportation.kif 2209-2209 电动轨道车客运铁路车subclass
(termFormat ChineseLanguage PassengerRailcar "客运铁路车") domainEnglishFormat.kif 44696-44696
(termFormat ChineseTraditionalLanguage PassengerRailcar "客運鐵路車") domainEnglishFormat.kif 44695-44695
(termFormat EnglishLanguage PassengerRailcar "passenger railcar") domainEnglishFormat.kif 44694-44694

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 2133-2143


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