EngineeringComponent(engineering component)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1739-1739 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. Mid-level-ontology.kif 1467-1467 Wing device is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3574-3574 Wire line is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3569-3569 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


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