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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2124-2125
(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 2123-2123 PassengerRailcarPassengerVehiclesubclass では %n
(subclass PassengerRailcar RollingStock) Transportation.kif 2122-2122 PassengerRailcarRollingStocksubclass では %n

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


(partition RollingStock PassengerRailcar FreightCar) Transportation.kif 2140-2140 RollingStockPassengerRailcar + FreightCarexhaustively partitioned %n
(subclass BusinessRailcar PassengerRailcar) Transportation.kif 2148-2148 BusinessRailcarPassengerRailcarsubclass では %n
(subclass CrewDormCar PassengerRailcar) Transportation.kif 2161-2161 CrewDormCarPassengerRailcarsubclass では %n
(subclass GalleryCar PassengerRailcar) Transportation.kif 2181-2181 GalleryCarPassengerRailcarsubclass では %n
(subclass MotorRailcar PassengerRailcar) Transportation.kif 2203-2203 MotorRailcarPassengerRailcarsubclass では %n
(termFormat ChineseLanguage PassengerRailcar "客运铁路车") domainEnglishFormat.kif 44694-44694
(termFormat ChineseTraditionalLanguage PassengerRailcar "客運鐵路車") domainEnglishFormat.kif 44693-44693
(termFormat EnglishLanguage PassengerRailcar "passenger railcar") domainEnglishFormat.kif 44692-44692

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 2127-2137


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