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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MechanicalDevice

Sigma KEE - MechanicalDevice
MechanicalDevice(mechanical device)
packing_box, reverse, reverse_gear, sewing_needle, shank, speed_indicator, speedometer, stuffing_box

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 728-729
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11431-11431
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11428-11428
No TPTP formula. May not be expressible in strict first order. engineering.kif 730-730 Mechanical device is a subclass of engineering component

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 770-770 Damper is a subclass of mechanical device
No TPTP formula. May not be expressible in strict first order. engineering.kif 930-930 Faucet is a subclass of mechanical device
No TPTP formula. May not be expressible in strict first order. engineering.kif 904-904 Fluid cylinder is a subclass of mechanical device
No TPTP formula. May not be expressible in strict first order. engineering.kif 755-755 Gear is a subclass of mechanical device
No TPTP formula. May not be expressible in strict first order. engineering.kif 760-760 Gear train is a subclass of mechanical device
No TPTP formula. May not be expressible in strict first order. engineering.kif 765-765 Gearbox is a subclass of mechanical device
No TPTP formula. May not be expressible in strict first order. engineering.kif 740-740 Motor is a subclass of mechanical device
No TPTP formula. May not be expressible in strict first order. engineering.kif 751-751 Pendulum is a subclass of mechanical device
No TPTP formula. May not be expressible in strict first order. engineering.kif 776-776 Rotor is a subclass of mechanical device
No TPTP formula. May not be expressible in strict first order. engineering.kif 769-769 Shaft is a subclass of mechanical device
No TPTP formula. May not be expressible in strict first order. engineering.kif 774-774 Spring is a subclass of mechanical device
No TPTP formula. May not be expressible in strict first order. engineering.kif 787-787 Stator is a subclass of mechanical device
No TPTP formula. May not be expressible in strict first order. engineering.kif 910-910 Valve is a subclass of mechanical device
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36714-36714
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36713-36713
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36712-36712


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