| appearance as argument number 1 |
|
| (documentation EngineeringConnection ChineseLanguage "EngineeringConnection 是一种表示和 另外两个 EngineeringComponent 连接关系的 EngineeringComponent。这是 Predicate connectedEngineeringComponents 的具体表现。这表示每当这个 Predicate出现于两个 EngineeringComponent 时，就会有一个 EngineeringConnection。具体实现这段关系的实际原因是可以 容许附加和它相关的其他信息。例如：我们可能会说一个特定的连接是和某些共同参数有关联的，或者那是一个特别的种类。 EngineeringConnection 是 EngineeringComponent，所以它可以是另外一个 EngineeringComponent 的 engineeringSubcomponent。可是为了让部件系统模块的规律，EngineeringConnection 不许被连接。 在每一双由 connectedEngineeringComponents 联系的 EngineeringComponent，都存在起码一个 EngineeringConnection。但是那个物件不必是独一无二的，而且相同的 EngineeringConnection 可以跟 多对 EngineeringComponent 连接。") | chinese_format.kif 3648-3657 | |
| (documentation EngineeringConnection EnglishLanguage "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.") | Merge.kif 16189-16205 | |
| (subclass EngineeringConnection EngineeringComponent) | Merge.kif 16188-16188 | Engineering connection is a subclass of engineering component |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain connectsEngineeringComponents 1 EngineeringConnection) | Merge.kif 16230-16230 | The number 1 argument of connects engineering components is an instance of engineering connection |
| antecedent |
|
|
| (=> (instance ?CONNECTION EngineeringConnection) (exists (?COMP1 ?COMP2) (connectsEngineeringComponents ?CONNECTION ?COMP1 ?COMP2))) |
Merge.kif 16207-16210 |
|
| consequent |
|
|
| (=> (connectedEngineeringComponents ?COMP1 ?COMP2) (not (or (instance ?COMP1 EngineeringConnection) (instance ?COMP2 EngineeringConnection)))) |
Merge.kif 16212-16217 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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