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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MotorRailcar

 Sigma KEE - MotorRailcar
MotorRailcar(motor railcar)

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2205-2206
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2203-2203 Motor railcar is a subclass of passenger railcar
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2204-2204 Motor railcar is a subclass of powered vehicle

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38847-38847
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38846-38846
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38845-38845


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