Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. engineering.kif 730-730 Mechanical device is a subclass of engineering component
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 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 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 776-776 Rotor 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 904-904 Fluid cylinder 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. engineering.kif 930-930 Faucet is a subclass of mechanical device
No TPTP formula. May not be expressible in strict first order. Cars.kif 770-770 Damper is a subclass of mechanical device


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