SUMO   View all facts   Glossary   Help

Entity > Physical > Object > SelfConnectedObject > CorpuscularObject > Artifact > EngineeringElement > EngineeringComponent

EngineeringComponent
subject			fact

EngineeringComponent	documentation A fundamental concept that applies in many engineering domains. An EngineeringComponent is an EngineeringElement that is a physically whole object, such as one might see listed as standard parts in a catalog. The main difference betweeen EngineeringComponents and arbitrary globs of matter is that EngineeringComponents are object-like in a modeling sense. Thus, an EngineeringComponent is not an arbtrary subregion, but a part of a system with a stable identity
	has axiom (=> (instance ?COMP EngineeringComponent) (exists (?DEVICE) (and (instance ?DEVICE Device) (component ?COMP ?DEVICE))))
	is first domain of connectedEngineeringComponents
	is first domain of engineeringSubcomponent
	is first domain of TerminalFn
	is second domain of connectedEngineeringComponents
	is second domain of connectsEngineeringComponents
	is second domain of engineeringSubcomponent
	is third domain of connectsEngineeringComponents
	is a kind of EngineeringElement
CorpuscularObject	is disjoint from Substance

Kinds of EngineeringComponent :

• EngineeringConnection (5 facts) - An EngineeringConnection is an EngineeringComponent that represents a connection relationship between two other EngineeringComponents. It is a reification of the Predicate connectedEngineeringComponents. That means that whenever this Predicate holds between two EngineeringComponents, there exists an EngineeringConnection. The practical reason for reifying a relationship is to be able to attach other information about it. For example, one might want to say that a particular connection is associated with some shared parameters, or that it is of a particular type. EngineeringConnections are EngineeringComponents and can therefore be an engineeringSubcomponent of other EngineeringComponents. However, to provide for modular regularity in component systems, EngineeringConnections cannot be connected. For each pair of EngineeringComponents related by connectedEngineeringComponents, there exists at least one EngineeringConnection. However, that object may not be unique, and the same EngineeringConnection may be associated with several pairs of EngineeringComponents