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

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


(partition RollingStock PassengerRailcar FreightCar) Transportation.kif 2146-2146
(subclass BusinessRailcar PassengerRailcar) Transportation.kif 2154-2154
(subclass CrewDormCar PassengerRailcar) Transportation.kif 2167-2167
(subclass GalleryCar PassengerRailcar) Transportation.kif 2187-2187
(subclass MotorRailcar PassengerRailcar) Transportation.kif 2209-2209
(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