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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Pursuing

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 PassengerRailcar est une sous-classe de PassengerVehicle
(subclass PassengerRailcar RollingStock) Transportation.kif 2122-2122 PassengerRailcar est une sous-classe de RollingStock

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


(partition RollingStock PassengerRailcar FreightCar) Transportation.kif 2140-2140 RollingStock est compl�tement d�compos� en PassengerRailcar + FreightCar
(subclass BusinessRailcar PassengerRailcar) Transportation.kif 2148-2148 BusinessRailcar est une sous-classe de PassengerRailcar
(subclass CrewDormCar PassengerRailcar) Transportation.kif 2161-2161 CrewDormCar est une sous-classe de PassengerRailcar
(subclass GalleryCar PassengerRailcar) Transportation.kif 2181-2181 GalleryCar est une sous-classe de PassengerRailcar
(subclass MotorRailcar PassengerRailcar) Transportation.kif 2203-2203 MotorRailcar est une sous-classe de PassengerRailcar
(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 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