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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2124-2125
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2503-2503
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2611-2611
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2610-2610
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2609-2609
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2608-2608
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2123-2123 PassengerRailcar est une sous-classe de PassengerVehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2122-2122 PassengerRailcar est une sous-classe de RollingStock

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2140-2140 RollingStock est compl�tement d�compos� en PassengerRailcar + FreightCar
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2148-2148 BusinessRailcar est une sous-classe de PassengerRailcar
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2161-2161 CrewDormCar est une sous-classe de PassengerRailcar
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2181-2181 GalleryCar est une sous-classe de PassengerRailcar
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2203-2203 MotorRailcar est une sous-classe de PassengerRailcar
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44694-44694
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44693-44693
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44692-44692

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. 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