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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MotorizedRailwayCar
MotorizedRailwayCar(motorized railway car)

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2112-2113
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2603-2603
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2494-2494
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2111-2111 Motorized railway car is a subclass of powered vehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2110-2110 Motorized railway car is a subclass of rolling stock

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38829-38829
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38828-38828
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38827-38827


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