Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EngineeringConnection
EngineeringConnection(engineering connection)engineering_connection, エンジニアリング接続, 工程组件连接件

appearance as argument number 1
-------------------------


(documentation EngineeringConnection ChineseLanguage "EngineeringConnection 是一种表示和 另外两个 EngineeringComponent 连接关系的 EngineeringComponent。这是 Predicate connectedEngineeringComponents 的具体表现。这表示每当这个 Predicate出现于两个 EngineeringComponent 时,就会有一个 EngineeringConnection。具体实现这段关系的实际原因是可以 容许附加和它相关的其他信息。例如:我们可能会说一个特定的连接是和某些共同参数有关联的,或者那是一个特别的种类。 EngineeringConnectionEngineeringComponent,所以它可以是另外一个 EngineeringComponentengineeringSubcomponent。可是为了让部件系统模块的规律,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 14834-14850
(subclass EngineeringConnection EngineeringComponent) Merge.kif 14833-14833 Engineering connection is a subclass of engineering component

appearance as argument number 2
-------------------------


(subclass Cable EngineeringConnection) Hotel.kif 1349-1349 Cable is a subclass of engineering connection
(subclass InternetConnection EngineeringConnection) Hotel.kif 1338-1338 Internet connection is a subclass of engineering connection
(termFormat ChineseLanguage EngineeringConnection "工程组件连接件") chinese_format.kif 1062-1062 "工程组件连接件" is the printable form of engineering connection in ChineseLanguage
(termFormat EnglishLanguage EngineeringConnection "engineering connection") english_format.kif 1340-1340 "engineering connection" is the printable form of engineering connection in english language

appearance as argument number 3
-------------------------


(domain connectsEngineeringComponents 1 EngineeringConnection) Merge.kif 14871-14871 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 14852-14855