EngineeringComponent(engineering component)

-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 1376-1376 Mechanical joint is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Cars.kif 2192-2192 Radiator is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. engineering.kif 779-779 Rotor is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. engineering.kif 771-771 Shaft is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. engineering.kif 789-789 Stator is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1784-1784 Switch device is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Communications.kif 381-381 Television receiver is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. engineering.kif 912-912 Valve is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1512-1512 Wing device is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3622-3622 Wire line is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3617-3617 Wire spring is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1061-1061
No TPTP formula. May not be expressible in strict first order. english_format.kif 1333-1333
No TPTP formula. May not be expressible in strict first order. french_format.kif 739-739
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 270-270
No TPTP formula. May not be expressible in strict first order. terms-it.txt 273-273
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2423-2423
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 691-691
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 309-309
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 760-760
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 274-274


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