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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PassengerRailcar

 Sigma KEE - PassengerRailcar
PassengerRailcar(passenger railcar)
more pictures...		carriage, coach, passenger_car

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2130-2131
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 2129-2129 Passenger railcar is a subclass of passenger vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2128-2128 Passenger railcar is a subclass of rolling stock

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2146-2146 Rolling stock is exhaustively partitioned into passenger railcar and freight car
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2154-2154 Business railcar is a subclass of passenger railcar
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2167-2167 Crew dorm car is a subclass of passenger railcar
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2187-2187 Gallery car is a subclass of passenger railcar
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2209-2209 Motor railcar is a subclass of passenger railcar
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44696-44696
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44695-44695
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44694-44694

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


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