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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RotaryDumpCar

 Sigma KEE - RotaryDumpCar
RotaryDumpCar(rotary dump car)

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2219-2221
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2517-2517
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2218-2218 Rotary dump car is a subclass of open top railcar

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50480-50480
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50479-50479
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50478-50478


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